SICP 問題 4.56

;; 合成質問を形成する
;; a Ben Bitdiddleが監督している人すべての名前とその住所
(and (supervisor ?x (Bitdiddle Ben))
     (address ?x ?y))

;; b Ben Bitdiddleより給料が少ない人と，Ben Bitdiddleの給料
(and (salary (Bitdiddle Ben) ?Ben-amount)
     (salary ?person ?amount)
     (lisp-value > ?Ben-amount ?amount))

;; c 計算機部門にいない人が監督している人すべてと，その監督者の名前と担当．
(and (job ?person ?type)
     (and (not (job ?person (computer . ?rest)))
          (supervisor ?person ?supervisor)))