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.


Variable Index

 o ti
Every Term has an associated TermInfo (at compile time).

Constructor Index

 o Term()

Method Index

 o displayString()
Returns a displayable version of this object, for use by write/1.
 o getBinding()
Get the Term this Term is bound to.
 o identical(Term)
Asserts that this Term is identical to that.
 o instantiate(Term[])
Copies this term, instantiating variables from the insts array.
 o normalise_copy(Variable[], int, Vector)
Copy a Term, instantiating variables from the array.
 o toString()
Returns a representation of this object that may be used for debugging or database listings, etc.
 o typify(TypeDictionary, boolean)
Generate the type tree that describes this Term.
 o unify(Term, Term[], Prolog)
Unifies this term with the argument.

Variables

 o ti
 public TermInfo ti
Every Term has an associated TermInfo (at compile time).

Constructors

 o Term
 public Term()

Methods

 o getBinding
 public Term getBinding()
Get the Term this Term is bound to. Most Terms are bound to themselves, so to speak.

 o 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.

 o 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.

 o identical
 public abstract boolean identical(Term t)
Asserts that this Term is identical to that.

See Also:
identical_2, not_identical_2
 o 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.

 o typify
 public abstract void typify(TypeDictionary types,
                             boolean map)
Generate the type tree that describes this Term.

See Also:
TypeDictionary
 o displayString
 public abstract String displayString()
Returns a displayable version of this object, for use by write/1.

See Also:
write_1
 o 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