SICP 問題 4.58

ある人が，自分の勤める部署に勤める監督者がいない場合，その人をbig shotであるとする規則を定義する

(rule (big-shot ?person)
      (and (job ?person (?division . rest))
           (supervisor ?person ?boss)
           (job ?boss (?boss-division . rest2))
           (not (same ?division ?boss-division))))