File "compat"

This file provides compatibility predicates.

The following compat predicates are provided:

forall(A, B): [N208 8.10.4]

The predicate succeeds when there is no success of A such that B fails. Otherwise, the predicate fails.

term_singletons(T, L):

The built-in succeeds in L with the singleton variables of T.

ground(T): [TC2 8.3.10]

The built-in succceeds if T is ground.

nonground(T, V):

The built-in succeeds if T is non-ground and V is the first variable.

number_codes(A, B): [ISO 8.16.8]

If A is a variable, then the predicate succeeds in A with the number from the Prolog list B. Otherwise the predicates succeeds in B with the Prolog list for the number A.

divmod(X, Y, Z, T):

If X and Y are both integers then the predicate succeeds in Z with the division of X by Y, and in T with the modulo of X by Y.

gcd(X, Y, Z):

If X and Y are integers then the predicate succeeds in Z with the greatest common divisor of X and Y.

Use Privacy (c) 2005-2026 XLOG Technologies AG