% Fakta
jedl(pepa, mrkev).
jedl(jana, zakusek).
pil(pepa, pivo).
pil(honza, vodu).

% Pravidla
syty(X) :- jedl(X, _).
snedeno(X) :- jedl(_, X).
vypito(X) :- pil(_, X).
koupit(X) :- snedeno(X); vypito(X).
odchazi(X) :- jedl(X, _), pil(X, _).

% Dotazy
syty(X). % Kdo je sytý?
syty(_). % Je někdo sytý? (Ano/Ne)
koupit(X). % Co je třeba koupit?
koupit(_). % Je třeba něco koupit? (Ano/Ne)
jedl(X, Y), pil(X, Y). % Kdo zároveň jedl i pil?
odchazi(X). % Kdo odchází?
odchazi(_). % Odchází někdo?