% Je Hektor lev?
lev(hektor).

% Je Zulejda lev?
lev(zulejda).

% Je Lea králem zvířat?
kral_zvirat(lea).

% Kdo je lev?
lev(X).

% Kdo je rychlý?
rychly(X).

% Kdo je hnědý?
barva(X, hneda).

% Kdo má jakou barvu?
barva(X, Barva).

% Výsledek bude seznam uspořádaných dvojic [jméno, barva]. Například: [ (hektor, zluta), (lea, zluta), (zulejda, hneda) ]

% Existuje rychlý král?
existuje_rychly_kral1.
% Ovšem tato odpověd’ ve skutečnosti není správná. V definici predikátu jsme použili dvě
% anonymní proměnné a nedefinovali jsme mezi nimi žádnou vazbu, tedy Prolog pouze zjistil, 
% zda existují hodnoty, které lze na tato místa dosadit, považoval je za různé proměnné.
existuje_rychly_kral2.
% Dostali jsme správnou odpověd’, protože přidáním „1“ za podtržítko jsme určili vazbu
% a Prolog do obou míst dosazuje tutéž hodnotu.