public class ResultFromProlog extends Object implements Serializable
Modifier and Type | Field and Description |
---|---|
Object |
error
Error message, null if none; used to be a String, now can be anything to cater for Prolog exceptions
|
Object[] |
rVars
Object array corresponding to the result variable list
|
boolean |
succeeded
Goal has succeeded
|
int |
timestamp
Same as passed in GoalFromJava
|
boolean |
undefined
true if the result is logically undefined (third value)
|
Constructor and Description |
---|
ResultFromProlog(int timestamp,
boolean succeeded,
int size,
Object error,
boolean undefined) |
Modifier and Type | Method and Description |
---|---|
String |
toString() |
boolean |
wasInterrupted(AbstractPrologEngine engine)
Prolog complaining about being interrupted.
|
public int timestamp
public boolean succeeded
public Object[] rVars
public boolean undefined
public Object error
public ResultFromProlog(int timestamp, boolean succeeded, int size, Object error, boolean undefined)
public boolean wasInterrupted(AbstractPrologEngine engine)