This module fixes all the problems with prolog term expansion by designing how terms will be divided between clauses goals and basic terms.

• @author Douglas R. Miles
• @license LGPL Prolog compile-time and runtime source-code transformations This module specifies a set of more specialized term and goal expansions as they are read from a file before they are processed by the compiler.

  The toplevel is expand_clause/2. This uses other translators:

  • Conditional compilation
  • clause_expansion/2 rules provided by the user

  Note that this ordering implies that conditional compilation directives cannot be generated by clause_expansion/2 rules: they must literally appear in the source-code.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 save_pred_to(Arg1, Arg2)

 with_subclause_expansion(Arg1)