SICP 読み (238) 4.4.1 推論的情報検索
なんかよく分からんが身辺が慌しい。朝からばたばたするのが大嫌いなんだけどなぁ。って最近ここでも愚痴ばかりかも。
で、昨晩入れた問題 4.62 なソレですが、今一つこの質問システムというやつのイメージが微妙です。もう少し読み進めつつ問題を見直した方が良さげ。
とゆー事で次の問題を見てみます。(こら
問題 4.63
(son Adam Cain)
は Cain は Adam のムスコ
(wife Lamech Ada)
は Ada は Lamech のツマ、になるのか。grandson なルールは以下かなぁ
(rule (grandson ?s ?g) (and (son ?f ?s) (son ?g ?f)))
もう一つの方が微妙かも。
(rule (son ?s ?m) (and (wife ?m ?w) (son ?w ?s)))
うーん。本当にいいんだろうか。再度見直すから、とゆー事にして先に進めてみる。