print the rules for the given name or term
Major Section:  HISTORY

: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 function symbol, :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.