|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.CoopnSem.LogicEngine.LogicEngine
Prolog-like logic engine.
Field Summary | |
protected CoopnEnv |
env
|
Constructor Summary | |
LogicEngine(CoopnEnv env)
Constructor for a logic engine. |
Method Summary | |
abstract void |
abort()
Stop the call, i.e. cut the query. |
abstract boolean |
assert(LogicTerm clause)
Assert a clause in the engine. |
abstract LogicUnification |
call(LogicGoal query)
Ask a query to the engine. |
abstract boolean |
consult(java.lang.String filename)
Consult a file. |
void |
dispose()
End of the logic engine. |
static LogicEngine |
getLogicEngine(CoopnEnv env)
Get a logic engine. |
abstract void |
interrupt()
Interrupt a call or redo, if possible. |
abstract LogicUnification |
redo()
Redo the call, i.e. continues the query. |
abstract boolean |
retract(LogicTerm clause)
Retract a clause in the engine. |
abstract java.lang.String |
signature()
Signature of a logic engine. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
protected CoopnEnv env
Constructor Detail |
public LogicEngine(CoopnEnv env) throws java.lang.IllegalStateException
java.lang.IllegalStateException
- this kind of machine is unavailable on this platform.Method Detail |
public void dispose()
public abstract java.lang.String signature()
public abstract boolean assert(LogicTerm clause)
clause
- the clause to assert; cannot be nullpublic abstract boolean retract(LogicTerm clause)
clause
- the clause to retract; cannot be nullpublic abstract LogicUnification call(LogicGoal query)
query
- the query; cannot be nullpublic abstract LogicUnification redo()
public abstract void abort()
public abstract void interrupt()
public abstract boolean consult(java.lang.String filename)
filename
- the name of the file; cannot be null.public static LogicEngine getLogicEngine(CoopnEnv env)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |