<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">

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


test(X) :- matka(X), !, X = matka(Y), Y &gt;= 4.

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

test(X) :- test(X).
</pre></body></html>