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)))