Did you know ... Search Documentation:
Pack logicmoo_utils -- prolog/logicmoo/subclause_expansion.pl
PublicShow source

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)