|
|
|||||||||
unifies two terms, where the occurs check will be taken in account.
unify_with_occurs_check(?Term1, ?Term2)
'='/2 succeeds when Term1 and Term2 are unifiable
in such a way that they are identical and fails if they are not unifiable
and identical.
The difference to =/2 is that the predicate fails, if
you try to create an inifite term.
Arguments
Term1 term Term2 term
Examples
| unify_with_occurs_check(f(X,1), f(1,X)). | Succeeds with substitution X <- 1. |
| unify_with_occurs_check(f(X),X). | Fails. |
Standard
This predicate is part of the ISO-Prolog Standard.
See also
| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/term_unification/unify_with_occurs_check/print_en.html published 2008/11/17 update 1998/8/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
