% krotki komentarz
/* dlugi komentarz */

% dziecko(Dziecko, Matka, Ojciec)


dziecko(1,2,3).
dziecko(1,2,3).
dziecko(1,2,3).

dziecko(bulka,bulka(pomidory(eko)),bulka(ser, szynka)).

% bulka(ser,szynka) == bulka(ser,szynka) != bulka(1,7)
% bulka(pomidory)

dziecko(michal, sylwia, jan).
dziecko(brat, sylwia, jan).
dziecko(jan, ewa, edward).
dziecko(sylwia, krystyna, leszek).
dziecko(jakub, ona, michal).


% ?- dziecko(X,X,jan).

% matka(Matka, Dziecko)

% implikacja w lewą stronę
% aby sprawdzic czy matka(M,D) to trzeba wykonać zapytanie dziecko(D,M,_)

matka(ktostam, dzieckokogostam).

matka(Matka, Dziecko) :- dziecko(Dziecko, Matka, _Ojciec).

matka(ktosinny, dzieckokogosinnego).

% ojciec(Ojciec, Dziecko)

ojciec(Ojciec, Dziecko) :- dziecko(Dziecko, _Matka, Ojciec).

% matka(Matka)

matka(Matka) :- dziecko(_Dziecko, Matka, _Ojciec).


% rodzic(Rodzic, Dziecko)

rodzic(Rodzic, Dziecko) :- matka(Rodzic, Dziecko).

rodzic(Rodzic, Dziecko) :- ojciec(Rodzic, Dziecko).

% rodzic(jan, _).

% wnuk(Dziadek, Wnuk)

% implikacja z koniunkcji:
% (...) <- (...) AND (...)

% by sprawdziÄ czy wnuk(D,W) trzeba:
% - najpierw przeszukaÄ rodzic(D,R)
% - potem dla kaĹźdego wyniku przeszukaÄ rodzic(R,W)

wnuk(Dziadek, Wnuk) :- rodzic(Dziadek, Rodzic), rodzic(Rodzic, Wnuk).

% Rodzic = drzewo(X, wisnia)
% Rodzic = drzewo(sliwka, Y)

% X = sliwka
% Y = wisnia

% przodek(Przodek, Potomek)

przodek(Przodek, Potomek) :- rodzic(Przodek, Potomek).

przodek(Przodek, Potomek) :-
	rodzic(Rodzic, Potomek),
	przodek(Przodek, Rodzic).

% przodek(Przodek, Potomek) :- przodek(Rodzic, Potomek), przodek(Przodek, Rodzic).

% x -> y -> z -> w

/*
 E(x,y) -> domkniecie przechodnie to najmniejsza relacja R spelniajaca:
   E(x,y) -> R(x,y)
   R(x,y), R(y,z) -> R(x,z)
*/

miesna(kanapka(salami(_Z), _Y)).

eko(kanapka(_X, eko)).

smaczna(X) :- miesna(X), eko(X).