Make-inferences-from

#'atom evalutes to the function bound to atom.

(proclaim '(special *inference-rules*))

(defun make-inferences-from (P)

(let ((conclusions nil))

(dolist (R *inference-rules*)

(setf conclusions (append (funcall R P)

conclusions)))

conclusions))

Example:

(setf *inference-rules* (list #'GMP))

(make-inferences-from 'P2)

Evaluates to (S Q).