public interface Prolog
Modifier and Type | Method and Description |
---|---|
void |
addTheory(Theory theory) |
void |
clearTheory() |
Theory |
getTheory() |
boolean |
hasOpenAlternatives() |
void |
loadLibrary(java.lang.String className) |
void |
setTheory(Theory theory) |
SolveInfo |
solve(java.lang.String g) |
SolveInfo |
solve(Term th) |
void |
solveEnd() |
void |
solveHalt() |
SolveInfo |
solveNext() |
void |
unloadLibrary(java.lang.String className) |
void clearTheory() throws java.lang.Exception
java.lang.Exception
Theory getTheory() throws java.lang.Exception
java.lang.Exception
void setTheory(Theory theory) throws java.lang.Exception
theory
- java.lang.Exception
void addTheory(Theory theory) throws java.lang.Exception
java.lang.Exception
SolveInfo solve(java.lang.String g) throws java.lang.Exception
java.lang.Exception
SolveInfo solveNext() throws java.lang.Exception
java.lang.Exception
boolean hasOpenAlternatives() throws java.lang.Exception
java.lang.Exception
void solveHalt() throws java.lang.Exception
java.lang.Exception
void solveEnd() throws java.lang.Exception
java.lang.Exception
void loadLibrary(java.lang.String className) throws java.lang.Exception
java.lang.Exception
void unloadLibrary(java.lang.String className) throws java.lang.Exception
java.lang.Exception