このディレクトリの索引
#  
#  (<- (parent ?x (mother-of ?x)))
#  (<- (parent ?x (father-of ?x)))
#  
#  これらの節は、「ある人がいて、その人の父親と母親が両親である」ことを述べている。ここで、
#  自分自身の両親が自分であるかどうか質問してみよう。
#  
#  > (?- (parent ?y ?y))
#  
#  ?Y = [Abort]
#  
#   システムは発見する。ただし、?y = (mother-of ?y) である。deref(またはsubstbindings)が、
#  ?yを計算しようとして無限ループに入るので、答えが出力できない。
#  
#  『実用Common Lisp AIプログラミングのケーススタディ』 p445
#  

'ある人がいて、その人の父親と母親が両親である'(_ある人,_両親) :-
        'ある人がいて、'(_ある人),
        _ある人 = _その人,
        'その人の父親と'(_その人,_父親),
        '母親が'(_その人,_母親),
        '両親である'(_父親,_母親,_両親).

'ある人がいて、'(義経).

'その人の父親と'(義経,義朝).

'母親が'(義経,常磐御前).

'両親である'(_父親,_母親,[_父親,_母親]).