All Packages Class Hierarchy This Package Previous Next Index
Class prolog.Term
java.lang.Object
|
+----prolog.Term
- public abstract class Term
- extends Object
- implements Serializable
Common features of Prolog terms.
-
ti
- Every Term has an associated TermInfo (at compile
time).
-
Term()
-
-
displayString()
- Returns a displayable version of this object, for use by
write/1.
-
getBinding()
- Get the Term this Term is bound to.
-
identical(Term)
- Asserts that this Term is identical to that.
-
instantiate(Term[])
- Copies this term, instantiating variables from the
insts
array.
-
normalise_copy(Variable[], int, Vector)
- Copy a Term, instantiating variables from the array.
-
toString()
- Returns a representation of this object that may be used for
debugging or database listings, etc.
-
typify(TypeDictionary, boolean)
- Generate the type tree that describes this Term.
-
unify(Term, Term[], Prolog)
- Unifies this term with the argument.
ti
public TermInfo ti
- Every Term has an associated TermInfo (at compile
time).
Term
public Term()
getBinding
public Term getBinding()
- Get the Term this Term is bound to. Most Terms
are bound to themselves, so to speak.
instantiate
public abstract Term instantiate(Term insts[])
- Copies this term, instantiating variables from the
insts
array. Note this is supposed to do a minimal amount of work as it is
used to do lazy structure copying in the interpreter.
unify
public abstract boolean unify(Term t,
Term insts[],
Prolog p)
- Unifies this term with the argument. This is the fundamental
operation of the resolution process.
identical
public abstract boolean identical(Term t)
- Asserts that this Term is identical to that.
- See Also:
- identical_2, not_identical_2
normalise_copy
public abstract Term normalise_copy(Variable vars[],
int next_new_var,
Vector new_vars)
- Copy a Term, instantiating variables from the array. All variables in
the Term must be already used, i.e. no new variables are allocated.
typify
public abstract void typify(TypeDictionary types,
boolean map)
- Generate the type tree that describes this Term.
- See Also:
- TypeDictionary
displayString
public abstract String displayString()
- Returns a displayable version of this object, for use by
write/1.
- See Also:
- write_1
toString
public abstract String toString()
- Returns a representation of this object that may be used for
debugging or database listings, etc.
- Overrides:
- toString in class Object
All Packages Class Hierarchy This Package Previous Next Index