.
Documentation on exports
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
empty_entry(Sg,Vars,Entry)
Gives the "empty" value in this domain for a given set of variables Vars, resulting in the abstract substitution Entry. I.e., obtains the abstraction of a substitution in which all variables Vars are unbound: free and unaliased. In Sh is the list of singleton lists of variables and in Fr is X/f forall X in the set of variables
- The following properties should hold at call time:
(nonvar/1)Sg is currently a term which is not a free variable.
(nonvar/1)Vars is currently a term which is not a free variable.
(var/1)Entry is a free variable.
(cgoal/1)Sg is a term which represents a goal, i.e., an atom or a structure.
(list/1)Vars is a list.
(absu/1)Entry is an abstract substitution
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
No further documentation available for this predicate.
Documentation on multifiles
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.
No further documentation available for this predicate.
The predicate is multifile.