Constructor and Description |
---|
Proxy(java.lang.String host) |
Proxy(java.lang.String host,
int port) |
Modifier and Type | Method and Description |
---|---|
void |
addTheory(Theory th) |
void |
clearTheory() |
Theory |
getTheory() |
boolean |
hasOpenAlternatives() |
void |
loadLibrary(java.lang.String st) |
void |
setTheory(Theory th) |
SolveInfo |
solve(java.lang.String st) |
SolveInfo |
solve(Term term) |
void |
solveEnd() |
void |
solveHalt() |
SolveInfo |
solveNext() |
void |
unloadLibrary(java.lang.String st) |
public Proxy(java.lang.String host) throws java.net.UnknownHostException, java.io.IOException
java.net.UnknownHostException
java.io.IOException
public Proxy(java.lang.String host, int port) throws java.net.UnknownHostException, java.io.IOException
java.net.UnknownHostException
java.io.IOException
public void clearTheory() throws java.lang.Exception
clearTheory
in interface Prolog
java.lang.Exception
public Theory getTheory() throws java.lang.Exception
public void setTheory(Theory th) throws java.lang.Exception
public void addTheory(Theory th) throws java.lang.Exception
public SolveInfo solve(java.lang.String st) throws java.lang.Exception
public SolveInfo solveNext() throws java.lang.Exception
public boolean hasOpenAlternatives() throws java.lang.Exception
hasOpenAlternatives
in interface Prolog
java.lang.Exception
public void solveHalt() throws java.lang.Exception
public void solveEnd() throws java.lang.Exception
public void loadLibrary(java.lang.String st) throws java.lang.Exception
loadLibrary
in interface Prolog
java.lang.Exception
public void unloadLibrary(java.lang.String st) throws java.lang.Exception
unloadLibrary
in interface Prolog
java.lang.Exception