SWI-Prolog 9.3.11
All Application Manual Name SummaryHelp

All predicatesShow sourcerewrite_term.pl

Source rewrite_term(:To, +From)
Invoke the term-rewriting system
Source simplify(+Raw, -Simplified)[private]
Get rid of redundant `true' goals generated by translate/3.

Undocumented predicates

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

Source rew_goal_expansion(Arg1, Arg2)
Source rew_term_expansion(Arg1, Arg2)