Uses of Class
com.intersult.ai.prolog.Term

Packages that use Term

Package	Description
com.intersult.ai.prolog
com.intersult.ai.prolog.buildin

Uses of Term in com.intersult.ai.prolog

Fields in com.intersult.ai.prolog declared as Term

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

Methods in com.intersult.ai.prolog that return Term

Modifier and Type	Method and Description
Term	Term.dereference()
Term	Term.get(int index)
Term	TermList.getTerm()
Term	Term.instantiate(List<Term> variables) Copies the term for using in another clause.
static Term	PrologParser.parseTerm(String string)
Term	Prolog.prove(Term prove)
Term	Prolog.run(String term)
Term	Prolog.run(Term term)

Methods in com.intersult.ai.prolog with parameters of type Term

Modifier and Type	Method and Description
void	Term.add(Term term)
void	Term.bind(Stack<Operation> stack, Term term)
Term	Prolog.prove(Term prove)
Term	Prolog.run(Term term)
static boolean	Term.unify(Stack<Operation> stack, Term left, Term right)

Method parameters in com.intersult.ai.prolog with type arguments of type Term

Modifier and Type	Method and Description
static void	PrologParser.compileParameters(com.intersult.parser.NonTerminal node, TermList termList, Map<String,Term> variables)
TermList	TermList.instantiate(List<Term> variables)
Term	Term.instantiate(List<Term> variables) Copies the term for using in another clause.
void	TermList.instantiate(List<Term> variables, TermList termList)

Constructors in com.intersult.ai.prolog with parameters of type Term

Constructor and Description
TermList(Term term)

Uses of Term in com.intersult.ai.prolog.buildin

Subclasses of Term in com.intersult.ai.prolog.buildin

Modifier and Type	Class and Description
class	Call
class	Nl
class	OnceEnter
class	OnceLeave
class	Print

Methods in com.intersult.ai.prolog.buildin that return Term

Modifier and Type	Method and Description
Term	Print.instantiate(List<Term> variables)
Term	OnceLeave.instantiate(List<Term> variables)
Term	OnceEnter.instantiate(List<Term> variables)
Term	Nl.instantiate(List<Term> variables)
Term	Call.instantiate(List<Term> variables)

Method parameters in com.intersult.ai.prolog.buildin with type arguments of type Term

Modifier and Type	Method and Description
Term	Print.instantiate(List<Term> variables)
Term	OnceLeave.instantiate(List<Term> variables)
Term	OnceEnter.instantiate(List<Term> variables)
Term	Nl.instantiate(List<Term> variables)
Term	Call.instantiate(List<Term> variables)