kocka.
pes.
mazatko.
sedy(kocka).
hnedy(pes).
hnedy(mazatko).

pekny(X) :- hnedy(X).

obsahuje(krabice, kocka).
obsahuje(kocka, zaba).
obsahuje(zaba, maso).

ma(X,Y) :- obsahuje(X,Y).
ma(X,Y) :- ma(X,Z), obsahuje(Z,Y). 

vec_v_necem_sedem(X):-ma(Y,X),sedy(Y).