Go to the first, previous, next, last section, table of contents.


Term checking utilities

Version: 1.7#143 (2001/11/12, 17:51:0 CET)

Usage and interface (terms_check)

Documentation on exports (terms_check)

PREDICATE: ask/2:

ask(Term1,Term2)

Term1 and Term2 unify without producing bindings for the variables of Term1. I.e., instance(Term1,Term2) holds.

PREDICATE: instance/2:

instance(Term1,Term2)

Term1 is an instance of Term2.

PREDICATE: variant/2:

variant(Term1,Term2)

Term1 and Term2 are identical up to renaming.

Other information (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.