rewrite.pl
- rewrite(:To, +From)
- Invoke the term-rewriting system
- 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.