public class PJProlog extends Object
Constructor and Description |
---|
PJProlog() |
Modifier and Type | Method and Description |
---|---|
void |
addTheory(Theory theory) |
Object |
getJavaObject(Struct t) |
PJLibraryNew |
getPJLibrary() |
Theory |
getTheory() |
void |
loadLibrary(Library library) |
Struct |
registerJavaObject(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<?>> 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 void loadLibrary(Library library)
public PJLibraryNew getPJLibrary()