[no subject]

[KMP at MIT-MC (Kent M. Pitman)]

I think that 
(DEFMACRO BOOLE (OP &REST X)
  (COND ((NULL X) (ERROR "Too few args to BOOLE" (CONS 'BOOLE X)))
        ((NULL (CDR X)) (CAR X))
	(T `(+INTERNAL-BOOLE ,OP ,(CAR X) (BOOLE ,OP ,@(CDR X))))))
should be the proper recursion description. Such a definition makes an
elegant case for (BOOLE op val) => val.