% who eats what
eats(godzilla,chicken).
eats(godzilla,humans).
eats(humans,chicken).
eats(godzilla,tokyo).

% mmm... meat!
meat(chicken).
meat(humans).

% definition of what it means to be a carnivore
% X is a carnivore if X eats Y and Y is meat
carnivore(X) :- eats(X,Y),meat(Y).