repltiles.pl

has(reptile,cold_blood).
has(reptile,air_breathing).
has(reptile,scales).

is_a(squamata,reptile).
is_a(iguana,squamata).
is_a(lizard,squamata).
is_a(green_iguana,iguana).
is_a(cayman,iguana).
is_a(smooth_iguana,iguana).
is_a(gecko,lizard).

maxsize(green_iguana,152).
maxsize(cayman,90).
maxsize(smooth_iguana,70).
maxsize(gecko,182).

has(X,Y):-is_a(X,Z),has(Z,Y).