% Ein Paar Fakten fuer die Vater-Relation:
vater(fritz,thomas).
vater(thomas,maria).
vater(thomas,anna).

% Der Vater vom Vater ist der Grossvater:
grossvater(G,E) :- vater(G,V), vater(V,E).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%55
% append [] ys = ys
% append (x:xs) ys = x : append xs ys

append([],Ys,Ys).
append([X|Xs],Ys,[X|Zs]) :- append(Xs,Ys,Zs).



