Příklad 1:

% Procedura muz 
muz(adam). 		muz(karel). 		muz(emil). 
muz(zibrid). 		muz(jan). 		muz(josef). 

% Procedura zena 
zena(lucie). 		zena(eva). 		zena(helena). 
zena(klara).		zena(kunhuta). 		zena(katka). 
zena(ruzena). 

% Procedura manz 
manz(adam,eva). 	manz(karel,helena). 	manz(zibrid,kunhuta). 
manz(jan,lucie). 	manz(josef,katka). 

% Procedura rodic 
rodic(adam,josef). 	rodic(adam,hugo). 	rodic(eva,josef). 
rodic(eva,hugo). 	rodic(karel,zuzana). 	rodic(helena,zuzana). 
rodic(helena,alfred). 	rodic(karel,alfred).  	rodic(klara,emil). 
rodic(karel,emil). 	rodic(kunhuta,eva).   	rodic(kunhuta,katka).
rodic(zibrid,eva). 	rodic(zibrid,katka).  	rodic(ruzena,jan). 
rodic(jan,adam). 	rodic(lucie,adam). 

% Procedura otec 
otec(Otec,Dite):- rodic(Otec,Dite),muz(Otec). 

% Procedura matka 
matka(Matka,Dite):- rodic(Matka,Dite), zena(Matka). 

% Procedura manzdite 
manzdite(X):- otec(Ot,X),matka(Mat,X),manz(Ot,Mat). 

% Procedura deda 
deda(D,V):- rodic(R,V),otec(D,R). 

% Procedura vmanzelstvi 
vmanzelstvi(X,Y):- manz(X,Y). vmanzelstvi(X,Y):- manz(Y,X).

========================================================================


Příklad 3:

muz(adam). 		% Tam vám byl jeden muž Adam
manz(adam,eva). 	% ti dva byli manželé.
rodic(adam,josef). 	% Adam byl rodičem Josefa
rodic(adam,hugo). 	% a Huga.
rodic(eva,josef). 	% Rodičem Josefa byla i Eva,
rodic(eva,hugo). 	% zrovna tak byla i rodičem Huga.

muz(karel). 		% Byl tam i další muž, jmenoval se Karel,
zena(helena). 		% a žena Helena.
manz(karel,helena). 	% Ti také byli manželé.
rodic(karel,zuzana). 	% Karel byl rodičem Zuzany,
rodic(helena,zuzana). 	% i Helena byla jejím rodičem.
rodic(helena,alfred). 	% Helena byla i rodičem Alfreda
rodic(karel,alfred). 	% a Karel taky.

zena(klara). 		% Byla tam i žena Klára,
rodic(klara,emil). 	% která byla rodičem Emila,
muz(emil). 		% což byl muž.
rodic(karel,emil). 	% Rodičem Emila byl i Karel

zena(kunhuta). 		% Byla tam i žena Kuhnuta,
manz(zibrid,kunhuta). 	% jejíž manželem byl Žibrid.
muz(zibrid). 		% Byl to muž.
rodic(kunhuta,eva). 	% Kunhuta byla rodičem Evy
rodic(kunhuta,katka). 	% a Katky.
zena(katka). 		% Katka byla žena.
rodic(zibrid,eva). 	% Rodičem Evy
rodic(zibrid,katka). 	% a Katky byl také Žibrid.

zena(ruzena). 		% Žena Růžena
rodic(ruzena,jan). 	% byla rodičem Jana.
manz(jan,lucie). 	% Jan byl manželem Lucie.
muz(jan). 		% Jan byl muž
zena(lucie). 		% a Lucie žena.
rodic(jan,adam). 	% Oba byli
rodic(lucie,adam). 	% rodiči Adama.

muz(jose). 		% Muž José
manz(jose,katka). 	% byl manželem Katky.