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

(wat-aro)

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

SICP 問題 4.65

(rule (wheel ?person)
      (and (supervisor ?middle-manager ?person)
           (supervisor ?x ?middle-manager)))

wheelはまず?personにデータベースの先頭から人を束縛して,and以下を満たすかを試していく.
なので
Ben -> Oliver -> X
alyssa -> Ben -> Oliver
Fect -> Ben -> Oliver
Lem -> Ben -> Oliver
Louis -> Alyssa Ben
Oliver -> X
Eben -> Oliver -> X
Robert -> Eben -> Oliver
Dewitt -> Oliver -> X
となり,Wawrbucks Oliverが4回出力される.