Next: Source file name, Previous: No determinism warnings, Up: Pragmas [Contents]
Declarations of the forms
:- pragma consider_used(pred(Name/Arity)). :- pragma consider_used(func(Name/Arity)).
tells the compiler to consider the predicate or function with name Name and arity Arity to be used, and not generate any dead procedure/predicate/function warnings either for the named predicate or function, or for the other predicates and functions that it calls, either directly or indirectly.
‘pragma consider_used’ declarations are intended for use in situations in which the code that was intended to call such a predicate or function is not yet written.