public interface Prolog
extends java.rmi.Remote
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 g) |
void |
solveEnd() |
void |
solveHalt() |
SolveInfo |
solveNext() |
void |
unloadLibrary(java.lang.String className) |
void clearTheory() throws java.rmi.RemoteException
java.rmi.RemoteException
Theory getTheory() throws java.rmi.RemoteException
java.rmi.RemoteException
void setTheory(Theory theory) throws InvalidTheoryException, java.rmi.RemoteException
theory
- InvalidTheoryException
java.rmi.RemoteException
void addTheory(Theory theory) throws InvalidTheoryException, java.rmi.RemoteException
InvalidTheoryException
java.rmi.RemoteException
SolveInfo solve(java.lang.String g) throws MalformedGoalException, java.rmi.RemoteException
MalformedGoalException
java.rmi.RemoteException
boolean hasOpenAlternatives() throws java.rmi.RemoteException
java.rmi.RemoteException
SolveInfo solveNext() throws NoMoreSolutionException, java.rmi.RemoteException
NoMoreSolutionException
java.rmi.RemoteException
void solveHalt() throws java.rmi.RemoteException
java.rmi.RemoteException
void solveEnd() throws java.rmi.RemoteException
java.rmi.RemoteException
void loadLibrary(java.lang.String className) throws InvalidLibraryException, java.rmi.RemoteException
InvalidLibraryException
java.rmi.RemoteException
void unloadLibrary(java.lang.String className) throws InvalidLibraryException, java.rmi.RemoteException
InvalidLibraryException
java.rmi.RemoteException