(atomic macro) use a clause-processor
Example:
(cl-proc :function
note-fact-clause-processor
:hint '(equal a a)) -- Invoke the indicated clause processor function
with the indicated hint argument (see the beginning of community book
books/clause-processors/basic-examples.lisp .
General Form:
(cl-proc &rest cl-proc-args)
Invoke a clause-processor as indicated by cl-proc-args, which is a list of
arguments that can serve as the value of a
This command calls the