Major Section: HISTORY
Examples: :pl foo ; prints rules that rewrite some call of foo :pl (+ x y) ; prints rules that rewrite (+ x y)
Pl takes one argument, a function symbol or a term. If the argument is a
:pl displays the rules that rewrite some term whose top
function symbol is the given one. Otherwisel,
:pl displays the rules
that rewrite that term.
The kinds of rules printed by
:pl are rewrite rules, definition rules,
and meta rules.