com.intersult.ai.prolog

Class TermList

java.lang.Object

com.intersult.ai.prolog.TermList

public class TermList
extends Object

Constructor Summary

Constructors

Constructor and Description
TermList(Term term)

Method Summary

Methods

Modifier and Type	Method and Description
void	clear()
List<TermList>	getDefiner(Map<String,List<TermList>> db)
TermList	getNext()
Term	getTerm()
TermList	insert(TermList termList)
TermList	instantiate(List<Term> variables)
void	instantiate(List<Term> variables, TermList termList)
void	remove()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TermList

public TermList(Term term)

Method Detail

getDefiner

public List<TermList> getDefiner(Map<String,List<TermList>> db)

getNext

public TermList getNext()

getTerm

public Term getTerm()

insert

public TermList insert(TermList termList)

remove

public void remove()

clear

public void clear()

instantiate

public void instantiate(List<Term> variables,
               TermList termList)

instantiate

public TermList instantiate(List<Term> variables)

toString

public final String toString()

Overrides:

toString in class Object