How do I trace the evaluation of a predicate only when a specified set of arguments is passed to this predicate?
So far I have been using
spy(my_predicate) to creep through the evaluation of
my_predicate during program execution. However, this has recently become tedious as there are numerous calls to
my_predicate, but I am interested in tracing only those where
my_predicate is passed the argument
In Sicstus, it is possible to use something like
add_breakpoint(goal(my_predicate(MyArgList), _) to only trace execution when the pair
(my_predicate, MyArgList) is invoked.
How can I achieve a similar result in SWI Prolog?