All Built-ins

All-purpose

General predicates for unification and variable checking

Eq(?X, ?Y)

Checks if X is unifiable to Y.

Diff(?X, ?Y)

Checks if X is not unifiable to Y.

Var(?X)

Checks if X is a variable.

Integers