com.intersult.ai.prolog

Class Prolog

java.lang.Object

com.intersult.ai.prolog.Prolog

public class Prolog
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
boolean	trace

Constructor Summary

Constructors

Constructor and Description
Prolog()

Method Summary

Methods

Modifier and Type	Method and Description
static ChoicePoint	backtrack(Stack<Operation> stack)
void	consult(List<TermList> program)
void	consult(String string)
void	consult(TermList termList)
void	consultProgram(InputStream inputStream)
void	consultProgram(String string)
boolean	isTrace()
Term	prove(Term prove)
Term	run(String term)
Term	run(Term term)
void	setTrace(boolean trace)

Methods inherited from class java.lang.Object

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

Field Detail

trace

public boolean trace

Constructor Detail

Prolog

public Prolog()

Method Detail

isTrace

public boolean isTrace()

setTrace

public void setTrace(boolean trace)

run

public Term run(String term)
         throws com.intersult.parser.ParseException

Throws:

com.intersult.parser.ParseException

run

public Term run(Term term)

prove

public Term prove(Term prove)

backtrack

public static ChoicePoint backtrack(Stack<Operation> stack)

consultProgram

public void consultProgram(InputStream inputStream)
                    throws IOException,
                           com.intersult.parser.ParseException

Throws:

IOException

com.intersult.parser.ParseException

consultProgram

public void consultProgram(String string)
                    throws com.intersult.parser.ParseException

Throws:

com.intersult.parser.ParseException

consult

public void consult(String string)
             throws com.intersult.parser.ParseException

Throws:

com.intersult.parser.ParseException

consult

public void consult(List<TermList> program)

consult

public void consult(TermList termList)