LIST-DEFFACTS

LIST-DEFFACTS

Displays the list of all deffacts in the specified module (or the current module if none specified).

(list-deffacts [<module-name>])