/* A Zoological Example                       */

isa_mammal(gertie).
isa_mammal(zebedee).
isa_mammal(tigger).

has_feathers(tweety).
has_hooves(gertie).
has_hooves(zebedee).
has_spots(gertie).
has_long_neck(gertie).
has_stripes(zebedee).
has_pointed_teeth(tigger).
has_claws(tigger).
has_forward_eyes(tigger).

colour(tweety, blue).
colour(gertie, tawny).
colour(zebedee, black_and_white).
colour(tigger, tawny).