%
% ex2.pl - 例題2: 親子関係に基づいて他の関係を求める
%

% 祖父母孫関係
grandparent(X, Z) :- parent(X, Y), parent(Y, Z).

% 兄弟関係(完成版)
brother(X, Y) :- parent(Z, X), parent(Z, Y), X \= Y.

% 親子関係(事実)
parent(taro, hanako).
parent(hanako, jiro).
parent(taro, saburo).
parent(hanako, shiro).
parent(saburo, ishiro).
parent(shiro, goro).