2007-11-01から1日間の記事一覧

SICP 読み (236) 4.4.1 推論的情報検索

直前エントリの再帰なソレは微妙に gdgd だな。リトライしてみる事に。 (rule (outranked-by ?staff-person ?boss) (or (supervisor ?staff-person ?boss) (and (supervisor ?staff-person ?middle-manager) (outranked-by ?middle-manager ?boss))))という…

SICP 読み (237) 4.4.1 推論的情報検索

文句は山ほどあるんですが、全部忘れてお勉強。 問題 4.59 a.から。 (meeting ?mtg (Friday ?time))で良いかなぁ。次は b.ですがこんなカンジで良いのだろうか。 (rule (meeting-time ?person ?day-and-time) (meeting whole-company ?day-and-time) (and (j…