読者です 読者をやめる 読者になる 読者になる

(wat-aro)

無職から有職者にランクアップしました

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