% Hektor a Lea jsou lvi, Zulejda je zajíc.
lev(hektor).
lev(lea).
zajic(zulejda).

% Lvi jsou silní a velcí, mají žlutou barvu.
silny(X) :- lev(X).
velky(X) :- lev(X).
barva(X, zluta) :- lev(X).

% Zajíci jsou rychlí a mají hnědou barvu.
% Pozor predikáty barva/2 musí být u sebe
barva(X, hneda) :- zajic(X). 
rychly(X) :- zajic(X).

% Kdo je silný a velký, je králem zvířat.
kral_zvirat(X) :- silny(X), velky(X).

% Anonymní proměnné 
existuje_rychly_kral1 :- rychly(_),kral_zvirat(_).
existuje_rychly_kral2 :- rychly(_1),kral_zvirat(_1).