On Sat, Feb 26, 2011 at 09:26, Richard Fateman <fateman at eecs.berkeley.edu>wrote: > ...You could also make lisp programs into symbolic programs by > replacing (+ a b) by (list '(mplus) a b) etc. (add a b)