Package | Description |
---|---|
alice.tuprolog | |
alice.tuprologx.pj.engine |
Modifier and Type | Method and Description |
---|---|
Term |
SolveInfo.getTerm(java.lang.String varName)
Gets the value of a variable in the substitution.
|
<Z extends T> |
ISolution.getTerm(java.lang.String varName) |
Modifier and Type | Method and Description |
---|---|
<Z extends Term<?>> |
PrologSolution.getTerm(java.lang.String varName) |