compile_aux_clauses(+Clauses)Compile clauses on behalf of goal_expansion/2.
This predicate compiles the argument clauses into static predicates,
associating the predicates with the current file but avoids changing the
notion of current predicate and therefore discontiguous warnings.
Note that in some cases multiple expansions of similar goals can
share the same compiled auxiliary predicate. In such cases, the
implementation of goal_expansion/2
can use predicate_property/2
using the property
defined to test whether the predicate is already defined in
the current context.