public class PrologImpl extends java.rmi.server.UnicastRemoteObject implements Prolog, java.io.Serializable
Constructor and Description |
---|
PrologImpl() |
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) |
clone, exportObject, exportObject, exportObject, unexportObject
public PrologImpl() throws java.rmi.RemoteException
java.rmi.RemoteException
public void clearTheory() throws java.rmi.RemoteException
clearTheory
in interface Prolog
java.rmi.RemoteException
public Theory getTheory() throws java.rmi.RemoteException
public void setTheory(Theory theory) throws InvalidTheoryException, java.rmi.RemoteException
setTheory
in interface Prolog
InvalidTheoryException
java.rmi.RemoteException
public void addTheory(Theory theory) throws InvalidTheoryException, java.rmi.RemoteException
addTheory
in interface Prolog
InvalidTheoryException
java.rmi.RemoteException
public SolveInfo solve(java.lang.String g) throws MalformedGoalException, java.rmi.RemoteException
solve
in interface Prolog
MalformedGoalException
java.rmi.RemoteException
public boolean hasOpenAlternatives() throws java.rmi.RemoteException
hasOpenAlternatives
in interface Prolog
java.rmi.RemoteException
public SolveInfo solveNext() throws NoMoreSolutionException, java.rmi.RemoteException
solveNext
in interface Prolog
NoMoreSolutionException
java.rmi.RemoteException
public void solveHalt() throws java.rmi.RemoteException
public void solveEnd() throws java.rmi.RemoteException
public void loadLibrary(java.lang.String className) throws InvalidLibraryException, java.rmi.RemoteException
loadLibrary
in interface Prolog
InvalidLibraryException
java.rmi.RemoteException
public void unloadLibrary(java.lang.String className) throws InvalidLibraryException, java.rmi.RemoteException
unloadLibrary
in interface Prolog
InvalidLibraryException
java.rmi.RemoteException