Version: 1.7#143 (2001/11/12, 17:51:0 CET)
terms_check
)terms_check
)
ask(Term1,Term2)
Term1
and Term2
unify without producing bindings for the variables of Term1
. I.e., instance(
holds.
Term1
,Term2
)
instance(Term1,Term2)
Term1
is an instance of Term2
.
variant(Term1,Term2)
Term1
and Term2
are identical up to renaming.
terms_check
)
Currently, ask/2
and instance/2
are exactly the same. However, ask/2
is more general, since it is also applicable to constraint domains (although not yet implemented): for the particular case of Herbrand terms, it is just instance/2
(which is the only ask check currently implemented).
Go to the first, previous, next, last section, table of contents.