grandfather(X, Z) :- father(Y, Z) , father(X, Y).
oncle(X, Z) :- father(Y, Z) , brother(X, Y).
oncle(X, Z) :- grandfather(Y, Z) , brother(X, Y).
father("Jens", "Max").
father("Klaus", "Jens").
brother("Lutz", "Klaus").
