/*
Big and not so big animals 
*/

bigger(elephant, horse).
bigger(horse, donkey).
bigger(donkey, dog).
bigger(donkey, monkey).

% Queries

%?- bigger(donkey, dog).

%?- bigger(monkey, elephant).

%?- bigger(elephant, monkey).
