ON THIS PAGE
Term checking utilities
Author(s): The Ciao Development Team.
This module implements a basic set of term checking utilities.
Usage and interface
- Library usage:
:- use_module(library(terms_check)). - Exports:
- Predicates:
variant/2, ask/2, subsumes_term/2, most_specific_generalization/3, most_general_instance/3, unifiable/3. - Properties:
instance/2. - Regular Types:
unifier/1.
- Predicates:
Documentation on exports
Term1 and Term2 are identical up to renaming.
Term1 and Term2 unify without producing bindings for the variables of Term1. I.e., instance(Term1,Term2) holds.
Usage:instance(Term1,Term2)
Term1 is an instance of Term2.
- The following properties hold globally:
(basic_props:native/1)This predicate is understood natively by CiaoPP.
Usage:ISOsubsumes_term(Term1,Term2)
Term2 is an instance of Term1.
Term satisfies instance(Term1,Term) and instance(Term2,Term) and there is no term less general than Term (modulo variants) that satisfies it.
Term satisfies instance(Term,Term1) and instance(Term,Term2) and there is no term more general than Term (modulo variants) that satisfies it.
unifier(Unifier) :-
list(unifier_elem,Unifier).
Usage:unifier(X)
X is a unifier.
Usage:unifiable(X,Y,Unifier)
Unifies Unifier with the most general unifier between the terms X and Y. Fails if such unifier does not exit.
- The following properties should hold at call time:
(basic_props:term/1)X is any term.
(basic_props:term/1)Y is any term. - The following properties hold upon exit:
(terms_check:unifier/1)Unifier is a unifier.
Documentation on internals
unifier_elem(X=Term) :-
var(X),
term(Term).
Documentation on imports
This module has the following direct dependencies:- Packages:
noprelude, initial, condcomp, assertions, assertions/assertions_basic, regtypes, nortchecks.