Next: Source file name, Previous: No determinism warnings, Up: Pragmas [Contents]
A declaration of the form
:- pragma consider_used(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 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.