Term manipulation

Version: 1.5#43 (2000/2/4, 19:53:51 CET)

Usage and interface (`metaterms`)

Library usage: :- use_module(library(metaterms)).
Exports:
- Predicates: varset/2, varsbag/3, ask/2, instance/2, variant/2.
Other modules used:
- System library modules: lists, idlists, sort, write.

PREDICATE: varset/2:

varset(Term,Xs)

Xs is the sorted list of all the variables in Term.

PREDICATE: varsbag/3:

varsbag(Term,Vs,Xs)

Vs is the list of all the variables in Term ordered as they appear in Term left-to-right depth-first (including duplicates) plus Xs.

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.