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

うーん。本当にいいんだろうか。再度見直すから、とゆー事にして先に進めてみる。