Documentation unify_with_occurs_check/2
available from version beta

unify_with_occurs_check/2

Check if two terms are unifiable.

Description

unify_with_occurs_check( ?term, ?term )

unify_with_occurs_check(X, Y) is true if and only if X and Y are unifiable. This predicate carries out standart unification (unification with the occurs check).

Implementation