... digits^2.1

Octal digits and hexadecimal digits are not supported currently. The range of integers is $-2^{27}\ =\ -268435456 .. 2^{27}-1\ =\ 268435455$

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... integer^2.2

Exponential representation of floating-point numbers is not supported currently.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... program^3.1

The directives multifile/1, discontiguous/1, char_conversion/2, include/1, ensure_loaded/1 in ISO-Prolog are not supported currently. If a predicate is defined in multiple files or is discontiguous, it must be declared to be dynamic; otherwise, only part of the definition is effective. A clause in the form :-Goal, where Goal is none of the directives described here, specifies that the goal Goal is to be executed as soon as the program is loaded or consulted. For example, the clause :-op(Priority,Specifier,Atom) will invoke the built-in predicate op/3 and changes the atom Atom into an operator with properties as specified by Specifier and Priority.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... includes^5.1

The option reposition(true) in ISO-Prolog is not supported currently.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... be^5.2

the option eof_action(reset) in ISO-Prolog is not supported currently.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... following^5.3

position(P) and reposition(B) in ISO-Prolog are not supported currently.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... predicates^5.4

The predicates char_conversion/2 and current_char_conversion/2 in ISO-Prolog are not provided currently.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... include^5.5

The option numbervars(Bool) in ISO-Prolog is not supported currently.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... Priority^5.6

The predefined operator ',' can not be altered.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... Y^17.1

This call is treated as one-directional matching by the compiler if it appears in the guards of matching clauses. In other places, it is treated as full unification. The interpreter always treats it as full unification.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.