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

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:

    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)