10/02/08 04:51:03
>>634->>636
要するにどこで組込述語を含む原初的な述語を目標とする節に行き着くか。そこまで
自然な説明として目標を辿ることができるように定義できるか、ということ。
ここで原初的な述語とは、先祖定義に現れる親子/2のような述語。
先祖(X,Y) :- 親子(X,Y).
先祖(X,Y) :- 親子(X,Z),先祖(Z,Y).
親子(義朝,頼朝).
親子(為朝,義朝).
10/02/08 04:51:03
>>634->>636
要するにどこで組込述語を含む原初的な述語を目標とする節に行き着くか。そこまで
自然な説明として目標を辿ることができるように定義できるか、ということ。
ここで原初的な述語とは、先祖定義に現れる親子/2のような述語。
先祖(X,Y) :- 親子(X,Y).
先祖(X,Y) :- 親子(X,Z),先祖(Z,Y).
親子(義朝,頼朝).
親子(為朝,義朝).