SWI-Prolog 7.7.1
AllApplicationManualNameSummaryHelp

PublicShow sourcerewrite.pl

Source rewrite(:To, +From)
Invoke the term-rewriting system

Undocumented predicates

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

Source rew_goal_expansion(Arg1, Arg2)
Source rew_term_expansion(Arg1, Arg2)
ClioPatria (version V3.1.1-21-gb8003bb)