Programming Breakpoints

We will show two examples using the advanced features of the debugger.

The first example defines a hide_exit(Pred) predicate, which will hide the Exit port for Pred (i.e. it will silently proceed), provided the current goal was already ground at the Call port, and nothing was traced inside the given invocation. The hide_exit(Pred) goal creates two spypoints for predicate Pred:

     :- meta_predicate hide_exit(:).
     hide_exit(Pred) :-
             add_breakpoint([pred(Pred),call]-
                              true(save_groundness), _),
             add_breakpoint([pred(Pred),exit,true(hide_exit)]-hide, _).
     

The first spypoint is applicable at the Call port, and it calls save_groundness to check if the given invocation was ground, and if so, it stores a term hide_exit(ground) in the goal_private attribute of the invocation.

     save_groundness :-
             execution_state([goal(_:G),goal_private(Priv)]),
             ground(G), !, memberchk(hide_exit(ground), Priv).
     save_groundness.
     

The second spypoint created by hide_exit/1 is applicable at the Exit port and it checks whether the hide_exit/0 condition is true. If so, it issues a hide action, which is a breakpoint macro expanding to [silent,proceed].

     hide_exit :-
             execution_state([inv(I),max_inv(I),goal_private(Priv)]),
             memberchk(hide_exit(Ground), Priv), Ground == ground.
     

Here, hide_exit encapsulates the tests that the invocation number is the same as the last invocation number used (max_inv), and that the goal_private attribute of the invocation is identical to ground. The first test ensures that nothing was traced inside the current invocation.

If we load the above code, as well as the small example below, then the following interaction can take place. Note that the hide_exit predicate is called with the _:_ argument, resulting in generic spypoints being created.

     | ?- [user].
     | cnt(0) :- !.
     | cnt(N) :-
             N > 0, N1 is N-1, cnt(N1).
     | ^D
     % consulted user in module user, 0 msec 424 bytes
     
     | ?- hide_exit(_:_), trace, cnt(1).
     % The debugger will first zip -- showing spypoints (zip)
     % Generic spypoint added, BID=1
     % Generic spypoint added, BID=2
     % The debugger will first creep -- showing everything (trace)
      #      1      1 Call: cnt(1) ? c
      #      2      2 Call: 1>0 ? c
      #      3      2 Call: _2019 is 1-1 ? c
             3      2 Exit: 0 is 1-1 ? c
      #      4      2 Call: cnt(0) ? c
             1      1 Exit: cnt(1) ? c
     
     % trace
     | ?-
     

Invocation 1 is ground, its Exit port is not hidden, because further goals were traced inside it. On the other hand, Exit ports of ground invocations 2 and 4 are hidden.

Our second example defines a predicate call_backtrace(Goal, BTrace), which will execute Goal and build a backtrace showing the successful invocations executed during the solution of Goal.

The advantages of such a special backtrace over the one incorporated in the debugger are the following:

The call_backtrace/2 predicate is based on the advice facility. It uses the variable accessible via the private(_) condition to store a mutable holding the backtrace (see Meta Logic). Outside the call_backtrace predicate the mutable will have the value off.

The example is a module-file, so that internal invocations can be identified by the module name. We load the lists library, because memberchk/2 will be used in the handling of the private field.

     :- module(backtrace, [call_backtrace/2]).
     :- use_module(library(lists)).
     
     :- meta_predicate call_backtrace(:, ?).
     call_backtrace(Goal, BTrace) :-
             Spec = [advice,call]
                    -[true((goal(M:G),store_goal(M,G))),flit],
             (   current_breakpoint(Spec, _, on, _, _) -> B = []
             ;   add_breakpoint(Spec, B)
             ),
             call_cleanup(call_backtrace1(Goal, BTrace),
                          remove_breakpoints(B)).
     

call_backtrace(Goal, BTrace) is a meta-predicate, which first sets up an appropriate advice-point for building the backtrace. The advice-point will be activated at each Call port, will call the store_goal/2 predicate with arguments containing the module and the goal in question. Note that the advice-point will not build a procedure box (cf. the flit command in the action part).

The advice-point will be added just once: any further (recursive) calls to call_backtrace/2 will notice the existence of the breakpoint and will skip the add_breakpoint/2 call.

Having ensured the appropriate advice-point exists, call_backtrace/2 calls call_backtrace1/2 with a cleanup operation that removes the breakpoint added, if any.

     :- meta_predicate call_backtrace1(:, ?).
     call_backtrace1(Goal, BTrace) :-
             execution_state(private(Priv)),
             memberchk(backtrace_mutable(Mut), Priv),
             (   is_mutable(Mut) -> get_mutable(Old, Mut),
                 update_mutable([], Mut)
             ;   create_mutable([], Mut), Old = off
             ),
             call(Goal),
             get_mutable(BTrace, Mut), update_mutable(Old, Mut).
     

The predicate call_backtrace1/2 retrieves the private field of the execution state and uses it to store a mutable, wrapped in backtrace_mutable. When first called within a top-level the mutable is created with the value []. In later calls the mutable is re-initialized to []. Having set up the mutable, Goal is called. In the course of the execution of the Goal the debugger will accumulate the backtrace in the mutable. Finally, the mutable is read, its value is returned in BTrace, and it is restored to its old value (or off).

     store_goal(M, G) :-
             M \== backtrace,
             G \= call(_),
             execution_state(private(Priv)),
             memberchk(backtrace_mutable(Mut), Priv),
             is_mutable(Mut),
             get_mutable(BTrace, Mut),
             BTrace \== off, !,
             update_mutable([M:G|BTrace], Mut).
     store_goal(_, _).
     

store_goal/2 is the predicate called by the advice-point, with the module and the goal as arguments. We first ensure that calls from within the backtrace module and those of call/1 get ignored. Next, the module qualified goal term is prepended to the mutable value retrieved from the private field, provided the mutable exists and its value is not off.

Below is an example run, using a small program:

     | ?- [user].
     | cnt(N):- N =< 0, !.
     | cnt(N) :-
          N > 0, N1 is N-1, cnt(N1).
     | ^D
     % consulted user in module user, 0 msec 424 bytes
     
     | ?- call_backtrace(cnt(1), B).
     % Generic advice point added, BID=1
     % Generic advice point, BID=1, removed (last)
     
     B = [user:(0=<0),user:cnt(0),user:(0 is 1-1),user:(1>0),user:cnt(1)]
     
     | ?-
     

Note that the backtrace produced by call_backtrace/2 can not contain any information regarding failed branches. For example, the very first invocation within the above execution, 1 =< 0, is first put on the backtrace at its Call port, but this is immediately undone because the goal fails. If you would like to build a backtrace that preserves failed branches, you have to use side-effects, e.g. dynamic predicates.

Further examples of complex breakpoint handling are contained in library(debugger_examples).

This concludes the tutorial introduction of the advanced debugger features.