このディレクトリの索引
#  
#  兄弟の悲惨
#  


?- 兄弟(X,Y).
X = Y, Y = カツオ ;
X = カツオ,
Y = ワカメ ;
X = ワカメ,
Y = カツオ ;
X = Y, Y = ワカメ ;
X = Y, Y = カツオ ;
X = カツオ,
Y = ワカメ ;
X = ワカメ,
Y = カツオ ;
X = Y, Y = ワカメ.

?- 

兄弟(A,B) :-
        親子(_親,A),
        親子(_親,B).

親子(_親,_子) :-
        父(_親,_子).
親子(_親,_子) :-
        母(_親,_子).

父(マスオ,カツオ).
父(マスオ,ワカメ).

母(サザエ,カツオ).
母(サザエ,ワカメ).