Package | Description |
---|---|
alice.tuprologx.pj.engine |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
PrologInvocationContext.dispatch(PJProlog _engine,
java.lang.Object[] args) |
<G extends Term<?>,S extends Term<?>> |
PJProlog.solveNext() |