Relation to ISO?

[UWN]

What is the precise relation of ichiban to ISO?

The reason for this question are issues like the following. It is stated that false/0 is not ISO. However, since Cor.2:2012 it is ISO. That is, since almost a decade ago it is ISO.

Here is a complete list with several other features not supported by ichiban (at least according to above documentation).

[ichiban]

Thank you for your question!

I, as a person, have nothing to do with ISO. I intend to make the library github.com/ichiban/prolog to cover General Core of ISO Prolog by v1.0.0.

false/0 is simply my mistake. Thank you very much for pointing it out!

[UWN]

Note that there are many more differences to ISO built-in predicates highlighted in this list.

[ichiban]

I appreciate your guidance. I'll implement other predicates in the list you provided.