このディレクトリの索引
#  @TakaoOzaki リプありがとうございます。
#  XはYの兄弟(姉妹や兄妹なども含む)である。というものを作りたいのですが、
#  兄弟(X,Y):=親(Z,X),親(Z,Y).とすると
#  兄弟(私,X).としたときにX=私と解が出てしまいどうすればいいか
#  試行錯誤していたところです。

親(道隆,伊周).
親(道隆,定子).
親(貴子,伊周).
親(貴子,定子).

私は誰でしょう(定子).

兄弟(私,Y) :-
        私は誰でしょう(_私),
        兄弟(_私,Y).
兄弟(X,Y) :-
        \+(X = 私),
        親(Z,X),
        親(Z,Y),
        \+(X = Y).


%  ?- 兄弟(私,Y).
%  
%  Y = '伊周';
%  Y = '伊周';
%  false.
%  
%  ?-