%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Programma per determinare le relazioni di parentela 
% (es., sorella, fratello, …) 
% 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% fe(X): vero se X e' femmina
% ma(X): vero se X e' maschio
% m(X.Y): vero se X e' madre di Y
% p(X.Y): vero se X e' padre di Y
% s(X.Y): vero se X e' sorella di Y

fe(carla).
fe(maria).
ma(luigi).
ma(giovanni).
ma(marco).
m(carla,maria).
m(carla,giovanni).
p(luigi,maria).
p(marco,giovanni).

% s(X,Y): vero se X e' sorella di Y

s(X,Y) :- 
   fe(X), p(Z,X), p(Z,Y), X \== Y.
s(X,Y) :- 
   fe(X), m(Z,X), m(Z,Y), X \== Y.

% Interfaccia utente - da realizzare ...