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))))
ある人が,自分の勤める部署に勤める監督者がいない場合,その人をbig shotであるとする規則を定義する
(rule (big-shot ?person) (and (job ?person (?division . rest)) (supervisor ?person ?boss) (job ?boss (?boss-division . rest2)) (not (same ?division ?boss-division))))