matka(matka(_Y)).
ojciec(ojciec(_Y)).


test(X) :- matka(X), !, X = matka(Y), Y >= 4.

test(X) :- ojciec(X), !.

test(X) :- test(X).