public class PJProlog
extends java.lang.Object
Constructor and Description |
---|
PJProlog() |
Modifier and Type | Method and Description |
---|---|
void |
addTheory(Theory theory) |
java.lang.Object |
getJavaObject(Struct t) |
PJLibraryNew |
getPJLibrary() |
Theory |
getTheory() |
void |
loadLibrary(Library library) |
Struct |
registerJavaObject(java.lang.Object o) |
void |
setTheory(Theory theory) |
<G extends Term<?>,S extends Term<?>> |
solve(G g) |
<G extends Term<?>,S extends Term<?>> |
solveAll(G query) |
<G extends Term<?>,S extends Term<?>> |
solveNext() |
protected Prolog engine
public <G extends Term<?>,S extends Term<?>> java.lang.Iterable<PrologSolution<G,S>> solveAll(G query)
public <G extends Term<?>,S extends Term<?>> PrologSolution<G,S> solve(G g)
public <G extends Term<?>,S extends Term<?>> PrologSolution<G,S> solveNext() throws NoSolutionException
NoSolutionException
public void setTheory(Theory theory) throws InvalidTheoryException
InvalidTheoryException
public void addTheory(Theory theory) throws InvalidTheoryException
InvalidTheoryException
public Theory getTheory() throws InvalidTheoryException
InvalidTheoryException
public Struct registerJavaObject(java.lang.Object o)
public java.lang.Object getJavaObject(Struct t)
public void loadLibrary(Library library)
public PJLibraryNew getPJLibrary()