Package | Description |
---|---|
alice.tuprolog | |
alice.tuprologx.runtime.rmi |
Modifier and Type | Method and Description |
---|---|
SolveInfo |
Prolog.solveNext()
Gets next solution
|
SolveInfo |
EngineManager.solveNext()
Gets next solution
|
Modifier and Type | Method and Description |
---|---|
SolveInfo |
PrologImpl.solveNext() |
SolveInfo |
Prolog.solveNext() |
Copyright © 2015. All rights reserved.