| |
Functor of clause
The functor name of the clause must be entered here.
Arity of clause
Arity of the clause must be entered in this field. The arity is the number of arguments a
clause has.
State to stop
One or more of all the possible states of the Prolog inference engine can be chosen. If
the combination of the correct clause and state is found the breakpoint stops the
execution of a Prolog program.
see also: Breakpoints window