rewrite.pl
- rewrite(:To, +From)
- Invoke the term-rewriting system
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
rewrite.plrewrite(:To, +From)The following predicates are exported, but not or incorrectly documented.