|Did you know ...||Search Documentation:|
source(false)and then process only interesting clauses with source information.
true(default), analysis is only restarted if the inferred meta-predicate contains a callable argument. If
all, it will be restarted until no more new meta-predicates can be found.
trace_reference. Called as
call(Cond, Callee, Context), where Context is a dict containing the following keys:
File:Linerepresenting the location of the declaration.
trace_referenceis found, call
call(OnTrace, Callee, Caller, Location), where Location is one of these:
file(+File, +Line, -1, _)
Caller is the qualified head of the calling clause or the atom '<initialization>'.
true), to not try to obtain detailed source information for printed messages.
false), report derived meta-predicates and iterations.
@compat OnTrace was called using Caller-Location in older versions.