% Zadani úkolu str. 97 skript
% Pepa jedl mrkev, Jana jedla zákusek, Pepa pil pivo, Honza pil vodu.
% Každý, kdo něco jedl, je sytý.
% Vše, co někdo jedl, je snědeno.
% Vše, co někdo pil, je vypito.
% Co bylo snědeno nebo vypito, se musí koupit.
% Každý, kdo něco jedl a pil (obojí zároveň), odchází.

% Fakta o jídle a pití
jedl(pepa, mrkev).
jedl(jana, zakusek).
pil(pepa, pivo).
pil(honza, voda).

% Mezi jednotlivými fakty a pravidly ve znalostní bázi
% je vztah konjunkce (AND)

% Pravidla
syty(X) :- jedl(X, _).
snedeno(X) :- jedl(_, X).
vypito(X) :- pil(_, X).
% Tělo pravidla (antecedent) obsahuje OR 
koupit(X) :- snedeno(X); vypito(X).
% Ekvivalentem jsou následující dvě pravidla dle vztahu
% disjunkce v antecedentu pro klausulární logiku
% (F1 OR F2 -> K) <=> ((F1 -> K) AND (F2 -> K))
% koupit(X) :- snedeno(X).
% koupit(X) :- vypito(X).
%
% Tělo pravidla (antecedent) obsahuje AND
odchazi(X) :- jedl(X, _), pil(X, _).