rewrite.pl

 rewrite(:To, +From)

Invoke the term-rewriting system

Undocumented predicates

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

 rew_goal_expansion(Arg1, Arg2)

 rew_term_expansion(Arg1, Arg2)