All Packages Class Hierarchy This Package Previous Next Index
Class prolog.Binding
java.lang.Object
|
+----prolog.Term
|
+----prolog.Variable
|
+----prolog.Binding
- public final class Binding
- extends Variable
Representation of bindings - variables that aren't bound (to ground
terms) by the unification of the goal with the unifying clause.
-
next
- The next Binding in the trail.
-
Binding(int)
-
-
bind(Term)
-
-
displayString()
- Returns a displayable version of this object, for use by
write/1.
-
getBID()
-
-
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.
-
unbind()
-
-
unify(Term, Term[], Prolog)
- Unifies this term with the argument.
next
Binding next
- The next Binding in the trail.
Binding
public Binding(int varid)
bind
public void bind(Term t)
unbind
public void unbind()
getBinding
public Term getBinding()
- Get the Term this Term is bound to.
- Overrides:
- getBinding in class Term
instantiate
public Term instantiate(Term insts[])
- Copies this term, instantiating variables from the
insts
array.
- Overrides:
- instantiate in class Variable
unify
public boolean unify(Term t,
Term insts[],
Prolog p)
- Unifies this term with the argument.
- Overrides:
- unify in class Variable
identical
public boolean identical(Term t)
- Asserts that this Term is identical to that.
- Overrides:
- identical in class Variable
normalise_copy
public Term normalise_copy(Variable vars[],
int next_new_var,
Vector new_vars)
- Copy a Term, instantiating variables from the array.
- Overrides:
- normalise_copy in class Variable
typify
public void typify(TypeDictionary types,
boolean map)
- Generate the type tree that describes this Term.
- Overrides:
- typify in class Variable
getBID
public String getBID()
displayString
public String displayString()
- Returns a displayable version of this object, for use by
write/1.
- Overrides:
- displayString in class Variable
toString
public String toString()
- Returns a representation of this object that may be used for
debugging or database listings, etc.
- Overrides:
- toString in class Variable
All Packages Class Hierarchy This Package Previous Next Index