Package | Description |
---|---|
alice.tuprolog | |
alice.tuprolog.event | |
alice.tuprolog.interfaces | |
alice.tuprologx.ide | |
alice.tuprologx.pj.engine | |
alice.tuprologx.runtime.rmi | |
alice.tuprologx.runtime.tcp |
Modifier and Type | Method and Description |
---|---|
static SolveInfo |
SolveInfo.fromJSON(java.lang.String jsonString) |
SolveInfo |
EngineRunner.getSolution() |
SolveInfo |
EngineManager.join(int id) |
SolveInfo |
EngineRunner.read() |
SolveInfo |
EngineManager.read(int id) |
SolveInfo |
EngineRunner.solve() |
SolveInfo |
Prolog.solve(java.lang.String st)
Solves a query
|
SolveInfo |
Prolog.solve(Term g)
Solves a query
|
SolveInfo |
EngineManager.solve(Term query) |
SolveInfo |
Prolog.solveNext()
Gets next solution
|
SolveInfo |
EngineRunner.solveNext() |
SolveInfo |
EngineManager.solveNext() |
Modifier and Type | Method and Description |
---|---|
SolveInfo |
QueryEvent.getSolveInfo()
Gets information about the query result.
|
Constructor and Description |
---|
QueryEvent(Prolog source,
SolveInfo info) |
Modifier and Type | Method and Description |
---|---|
SolveInfo |
IProlog.solve(java.lang.String st)
Solves a query
|
SolveInfo |
IProlog.solveNext()
Gets next solution
|
Modifier and Type | Method and Description |
---|---|
SolveInfo |
EngineStatus.getInfo() |
SolveInfo |
InformationToDisplayEvent.getQueryResult() |
Modifier and Type | Method and Description |
---|---|
void |
EngineStatus.setInfo(SolveInfo info) |
Constructor and Description |
---|
PrologSolution(SolveInfo si)
Creates a new instance of SolveInfo
|
Modifier and Type | Method and Description |
---|---|
SolveInfo |
PrologImpl.solve(java.lang.String g) |
SolveInfo |
Prolog.solve(java.lang.String g) |
SolveInfo |
PrologImpl.solve(Term g) |
SolveInfo |
Prolog.solve(Term g) |
SolveInfo |
PrologImpl.solveNext() |
SolveInfo |
Prolog.solveNext() |
Modifier and Type | Method and Description |
---|---|
SolveInfo |
Proxy.solve(java.lang.String st) |
SolveInfo |
Prolog.solve(java.lang.String g) |
SolveInfo |
Proxy.solve(Term term) |
SolveInfo |
Prolog.solve(Term th) |
SolveInfo |
Proxy.solveNext() |
SolveInfo |
Prolog.solveNext() |