Living states |
---|
Running |
The query has been sent to the server and is being executed. This
state is indicated by the rotating icon.
|
---|
Wait next |
The query succeeded with a choice point and waits for the
user, providing the options Next (give me another answer)
and Stop (I'm happy and I don't want any more anwers).
|
---|
Wait input |
The query called read/1 and waits for user input. The runner shows
an input element. The user must type a valid Prolog term and press
Enter.
|
---|
Completed (dead) states |
---|
True |
The query succeeded and there are no more answers.
|
---|
False |
The query failed.
|
---|
Error |
The query terminated due to a runtime error (exception).
|
---|
Stopped |
The user selected Stop
|
---|
Aborted |
The query was aborted by the user.
|
---|