| Command |
Name |
Description |
| RET or c |
creep |
single-step to the next port |
| l |
leap |
continue the execution only stopping when a goal with a
spy-point is reached |
| s |
skip |
skip over the entire execution of the current goal. No
message will be shown until control returns |
| G |
go to |
ask for an invocation number and continue the execution
until a port is reached for that invocation number |
| r |
retry |
try to restart the invocation of the current goal by
failing until reaching the invocation of the goal. The state of
execution is the same as when the goal was initially invoked (except when
using side-effect predicates) |
| f |
fail |
force the current goal to fail immediately |
| w |
write |
show the current goal using write/2
(section 7.14.6) |
| d |
display |
show the current goal using display/2
(section 7.14.6) |
| p |
print |
show the current goal using print/2
(section 7.14.6) |
| e |
exception |
show the pending exception. Only applicable to an
exception port |
| g |
ancestors |
show the list of ancestors of the current goal |
| A |
alternatives |
show the list of ancestors of the current goal
combined with choice-points |
| u |
unify |
ask for a term and unify the current goal with this
term. This is convenient for getting a specific solution. Only available at
a call port |
| . |
father file |
show the Prolog file name and the line number
where the current predicate is defined |
| n |
no debug |
switch the debugger off. Same as nodebug/0
(section 4.3.1) |
| = |
debugging |
show debugger information. Same as
debugging/0 (section 4.3.1) |
| + |
spy this |
set a spy-point on the current goal. Uses
spy/1 (section 4.3.3) |
| - |
nospy this |
remove a spy-point on the current goal. Uses
nospy/1 (section 4.3.3) |
| * |
spy conditionally |
ask for a term Goal, Port, Test
(terminated by a dot) and set a conditional spy-point on the current
predicate. Goal and the current goal must have the same predicate
indicator. Uses spypoint_condition/3 (section 4.3.3) |
| L |
listing |
list all the clauses associated with the current
predicate. Uses listing/1 (section 7.23.3) |
| a |
abort |
abort the current execution. Same as abort/0
(section 7.18.1) |
| b |
break |
invoke a recursive top-level. Same as break/0
(section 7.18.1) |
| @ |
execute goal |
ask for a goal and execute it |
| < |
set print depth |
ask for an integer and set the print
depth to this value (-1 for no depth limit) |
| h or ? |
help |
display a summary of available commands |
| W |
WAM debugger |
invoke the low-level WAM debugger
(section 4.6) |
