Download Prolog reference manual

What's particular to ARM PROLOG
true
ttyflush
unknown(O,N)
var(T)
visa(L)
write(T)
writedepth(O,N)
writeq(T)
writewidth(O,N)
\ +( P)
P -> ! ; R
P -> Q
X<Y
X =< Y
X>Y
X >= Y
X =:= Y
X =\ = Y
X=Y
X\+Y
T =.. L
X == Y
X\=Y
X @< Y
X @=< Y
X @> Y
X @>= Y
Succeed once.
Write out the terminal output buffer.
Set the 'unknown procedure' action from 0 to N.
O T is a variable.
A Confer permissions on exportable procedures.
Write T.
Set the write depth from O to N.
Write T, quoting if necessary.
A Set the output linewidth from O to N.
O Cut ny choices taken in the current procedure.
P is not provable.
O If P is provable, the prove Q, else prove R.
O Like P -> Q ; fail.
O As integer expressions, X is less than Y.
O As integer expressions, X is less than or equal to Y.
O As integer expressions, X is greater than Y.
O As integer expressions, X is greater than or equal
to Y.
O As integer expressions, X is equal to Y.
O As integer expressions, X is not equal to Y.
O X unifies with Y.
X does not unify with Y.
The functor and arguments of T are elements of list L.
Terms X and Y are strictly identical.
Terms X and Y are not strictly identical.
Term X precedes term Y in the canonical ordering.
Term X precedes or is identical with Y.
Term X follows term Y.
Term X follows or is identical with Y.
PROLOG
59