Package org.projog.core.predicate.builtin.construct

Predicates for inspecting the structure of terms.

Class Summary

Class	Description
Arg	arg(N,T,A) - allows access to an argument of a structure.
AtomConcat	atom_concat(X, Y, Z) - concatenates atom names.
AtomConcat.Retryable
CopyTerm	copy_term(X,Y) - makes a copy of a term.
Functor	functor(T,F,N)
NumberVars	numbervars(Term,Start,End) - unifies free variables of a term.
TermSplit	atom_chars / atom_codes / number_chars / number_codes
Univ	X=..L - "univ".