We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
JIProlog supports the following de facto standard flags:
dialect
encoding
version_data
JIProlog supports the following de facto standard built-in predicates:
append/3
between/3
findall/4
forall/2
member/2
numbervars/3
predicate_property/2
How to
Predicates
Standards compliance
Calling Java from Prolog
Calling Prolog from Java
Prolog and RDBMS
Commercial License