Version: 0.8#30 (1998/12/17, 9:55:33 MET)
metaterms
)metaterms
)
varset(Term,Xs)
Xs
is the sorted list of all the variables in Term
.
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
.
ask(Term1,Term2)
Term1
and Term2
unify without producing bindings for the variables of Term1
. I.e., instance(
holds.
Term1
,Term2
)
instance(Term1,Term2)
Term2
is an instance of Term1
.
variant(Term1,Term2)
Term1
and Term2
are identical up to renaming.
Go to the first, previous, next, last section, table of contents.