kocka(micka). kocka(mourek). mys(jerry). pes(zoubek). pes(azor). kobra(bob). lovi(Kdo,Koho) :- kocka(Kdo), mys(Koho). lovi(Kdo,Koho) :- kobra(Kdo), mys(Koho). prcha(Kdo,PredKym) :- kocka(Kdo), pes(PredKym). lev("Hektor"). lev("Lea"). zajic("Zulejda"). silny(X) :- lev(X). velky(X) :- lev(X). barva(X,zluta) :- lev(X). rychly(X) :- zajic(X). barva(X,hneda) :- zajic(X). kralzvirat(X) :- silny(X), velky(X).