com.intersult.ai.prolog

Class Term

java.lang.Object

com.intersult.ai.prolog.Term

All Implemented Interfaces:

Operation

Direct Known Subclasses:

Call, Nl, OnceEnter, OnceLeave, Print

public class Term
extends Object
implements Operation

Field Summary

Fields

Modifier and Type	Field and Description
static Term	FAIL
static Term	TRUE

Constructor Summary

Constructors

Constructor and Description
Term(int index)
Term(String functor)

Method Summary

Methods

Modifier and Type	Method and Description
void	add(Term term)
void	bind(Stack<Operation> stack, Term term)
Term	dereference()
Term	get(int index)
String	getFunctor()
String	getKey()
Term	instantiate(List<Term> variables) Copies the term for using in another clause.
void	invoke(Stack<Operation> stack, TermList goal)
String	toString()
void	toString(StringBuilder buffer)
void	unbind()
static boolean	unify(Stack<Operation> stack, Term left, Term right)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

FAIL

public static final Term FAIL

TRUE

public static final Term TRUE

Constructor Detail

Term

public Term(int index)

Term

public Term(String functor)

Method Detail

dereference

public Term dereference()

getFunctor

public String getFunctor()

getKey

public String getKey()

get

public Term get(int index)

add

public void add(Term term)

unify

public static boolean unify(Stack<Operation> stack,
            Term left,
            Term right)

bind

public void bind(Stack<Operation> stack,
        Term term)

unbind

public void unbind()

instantiate

public Term instantiate(List<Term> variables)

Copies the term for using in another clause.

Parameters:

variables - The variables to share over the clause

invoke

public void invoke(Stack<Operation> stack,
          TermList goal)

toString

public String toString()

Overrides:

toString in class Object

toString

public void toString(StringBuilder buffer)