public class TuPrologEngine extends AbstractPrologEngine
Constructor and Description |
---|
TuPrologEngine() |
Modifier and Type | Method and Description |
---|---|
boolean |
load(java.lang.String knowledgeBase)
Loads a new knowledgebase such as an event log or additional axioms.
|
boolean |
process(long startTime,
long timeUnits)
Reset the engine by unloading all known knowledge.
|
boolean |
reset() |
java.util.List<Solution> |
solve(java.lang.String query)
Solves a given query and returns a list of solutions.
|
boolean |
start() |
public TuPrologEngine() throws java.io.IOException, alice.tuprolog.InvalidTheoryException, PrologConsultException
java.io.IOException
alice.tuprolog.InvalidTheoryException
PrologConsultException
public boolean start()
public boolean load(java.lang.String knowledgeBase)
IEngine
public boolean process(long startTime, long timeUnits)
IEngine
public boolean reset()