% Kdo je sytý
syty(X).

% Je někdo sytý?
syty(_).

% Co je třeba koupit?
koupit(X).

% Je třeba něco koupit?
koupit(_).

% Kdo zároveň jedl a pil?
jedl(X,_), pil(X,_).

% Kdo odchází
odchazi(X).

% Odchází někdo?
odchazi(_).