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

Packages that use TermList

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

Uses of TermList in com.intersult.ai.prolog

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

Modifier and Type	Field and Description
TermList	ChoicePoint.goal

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

Modifier and Type	Method and Description
TermList	TermList.getNext()
TermList	TermList.insert(TermList termList)
TermList	TermList.instantiate(List<Term> variables)
static TermList	PrologParser.parseTermList(String string)

Methods in com.intersult.ai.prolog that return types with arguments of type TermList

Modifier and Type	Method and Description
List<TermList>	TermList.getDefiner(Map<String,List<TermList>> db)
static List<TermList>	PrologParser.parseProgram(String string)

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

Modifier and Type	Method and Description
static void	PrologParser.compileParameters(com.intersult.parser.NonTerminal node, TermList termList, Map<String,Term> variables)
void	Prolog.consult(TermList termList)
TermList	TermList.insert(TermList termList)
void	TermList.instantiate(List<Term> variables, TermList termList)
void	Term.invoke(Stack<Operation> stack, TermList goal)

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

Modifier and Type	Method and Description
void	Prolog.consult(List<TermList> program)
List<TermList>	TermList.getDefiner(Map<String,List<TermList>> db)

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

Constructor and Description
ChoicePoint(int clauseNumber, TermList goal)

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

Methods in com.intersult.ai.prolog.buildin with parameters of type TermList

Modifier and Type	Method and Description
void	Print.invoke(Stack<Operation> stack, TermList goal)
void	OnceLeave.invoke(Stack<Operation> stack, TermList goal)
void	OnceEnter.invoke(Stack<Operation> stack, TermList goal)
void	Nl.invoke(Stack<Operation> stack, TermList goal)
void	Call.invoke(Stack<Operation> stack, TermList goal)