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