|Did you know ...||Search Documentation:|
clause(the goal has alternative clauses),
foreign(non-deterministic foreign predicate),
jump(clause internal choice point),
top(first dummy choice point),
catch(catch/3 to allow for undo),
debug(help the debugger), or
none(has been deleted).
This predicate is used for the graphical debugger to show the choice point stack.