public interface PrologOperations
Modifier and Type | Method and Description |
---|---|
void |
clearTheory() |
java.lang.String |
getTheory() |
boolean |
hasOpenAlternatives() |
void |
loadLibrary(java.lang.String className) |
void |
setTheory(java.lang.String theory) |
SolveInfo |
solve(java.lang.String g) |
void |
solveEnd() |
void |
solveHalt() |
SolveInfo |
solveNext() |
void |
unloadLibrary(java.lang.String className) |
void clearTheory()
java.lang.String getTheory()
void setTheory(java.lang.String theory)
SolveInfo solve(java.lang.String g)
boolean hasOpenAlternatives()
SolveInfo solveNext()
void solveHalt()
void solveEnd()
void loadLibrary(java.lang.String className)
void unloadLibrary(java.lang.String className)