The following tests give access to basic information about the current invocation.
subsumes/2is defined in
library(terms), see lib-terms).
/N) of the current goal. The unification required for matching is carried out.
trueif the current invocation has exited, and
falseotherwise. This condition is mainly used for looking at past execution states.
The debugger-parent of a goal is the youngest ancestor of the goal present on the backtrace. This will differ from the ordinary parent if not all goals are traced, e.g. if the goal in question is reached in zip mode. A debugger-ancestor of a goal is any of its ancestors on the backtrace.
ancestor tests above, there is a given
module qualified goal template, say ModT
and it is matched against a concrete goal term
:Goal in the execution state. This matching is carried
out as follows:
:Goal and ModT
:Goal is an exported variant of the other, or both are imported from the same module.
Similar matching rules apply for predicate functors, in the
pred condition. In this test the argument holds a
module qualified functor template, say
/Arity, and this is matched against a
concrete goal term Mod
:Goal in the execution
/Arity, and this unification is carried out.