Package | Description |
---|---|
alice.tuprologx.pj.engine |
Modifier and Type | Method and Description |
---|---|
<G extends Term<?>,S extends Term<?>> |
PJProlog.solve(G g) |
<G extends Term<?>,S extends Term<?>> |
PJProlog.solveNext() |
Modifier and Type | Method and Description |
---|---|
<G extends Term<?>,S extends Term<?>> |
PJProlog.solveAll(G query) |