%%% parenti.pl

%%% nonno(X,Y)      "X e` nonno di Y"
%%% nonna(X,Y)      "X e` nonna di Y"
%%% bisnonno(X,Y)   "X e` bisnonno di Y"
%%% bisnonna(X,Y)   "X e` bisnonna di Y"
%%% nipote(X,Y)     "X e` nipote di Y"
%%% pronipote(X,Y)  "X e` pronipote di Y"


nonno(X,Y) :- padre(X,Z),
              padre(Z,Y).
nonno(X,Y) :- padre(X,Z),
              madre(Z,Y).
              
nonna(X,Y) :- madre(X,Z),
              padre(Z,Y).              
nonna(X,Y) :- madre(X,Z),
              madre(Z,Y).
              
bisnonno(X,Y) :- padre(X,Z),
                 nonno(Z,Y).
bisnonno(X,Y) :- padre(X,Z),
                 nonna(Z,Y).
                 
bisnonna(X,Y) :- madre(X,Z),
                 nonno(Z,Y).
bisnonna(X,Y) :- madre(X,Z),
                 nonna(Z,Y).
                 
nipote(X,Y) :- nonno(Y,X).
nipote(X,Y) :- nonna(Y,X).

pronipote(X,Y) :- bisnonno(Y,X).
pronipote(X,Y) :- bisnonna(Y,X).




%%% Fatti:

padre(ugo,luisa).
madre(marina,luisa).

padre(mario,luigi).
madre(luisa,luigi).

padre(mario,giovanna).
madre(luisa,giovanna).

padre(marco,giorgio).
madre(maria,giorgio).

padre(giorgio,andrea).
madre(giovanna,andrea).

padre(giorgio,ilaria).
madre(giovanna,ilaria).