Documentation Prolog Predicate Reference builtin unify_with_occurs_check/2

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