All Packages Class Hierarchy This Package Previous Next Index
Class prolog.Variable
java.lang.Object
|
+----prolog.Term
|
+----prolog.Variable
- public class Variable
- extends Term
Representation of variables in the database (placeholders).
-
id
- Index of the variable referenced by this term (relative to the clause
it's in).
-
Variable(int)
-
-
displayString()
- Returns a displayable version of this object, for use by
write/1.
-
getID()
-
-
getName()
-
-
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.
-
setID(int)
-
-
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.
id
protected int id
- Index of the variable referenced by this term (relative to the clause
it's in).
Variable
public Variable(int id)
instantiate
public Term instantiate(Term insts[])
- Copies this term, instantiating variables from the
insts
array.
- Overrides:
- instantiate in class Term
unify
public boolean unify(Term t,
Term insts[],
Prolog p)
- Unifies this term with the argument.
- Overrides:
- unify in class Term
identical
public boolean identical(Term t)
- Asserts that this Term is identical to that.
- Overrides:
- identical in class Term
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 Term
typify
public void typify(TypeDictionary types,
boolean map)
- Generate the type tree that describes this Term.
- Overrides:
- typify in class Term
getID
int getID()
setID
void setID(int id)
getName
public String getName()
displayString
public String displayString()
- Returns a displayable version of this object, for use by
write/1.
- Overrides:
- displayString in class Term
toString
public String toString()
- Returns a representation of this object that may be used for
debugging or database listings, etc.
- Overrides:
- toString in class Term
All Packages Class Hierarchy This Package Previous Next Index