:- dynamic eh/1.
eh(macaco)    :- macaco, !.
eh(cavalo)    :- cavalo, !.
eh(tartaruga) :- tartaruga, !.
eh(tigre)     :- tigre, !.
eh(girafa)    :- girafa, !.
eh(zebra)     :- zebra, !.
eh(avestruz)  :- avestruz, !.
eh(pinguim)   :- pinguim, !.
eh(aguia) :- aguia, !.
eh(gamba) :- gamba, !.


/* classes e características */
oviparo :- checa(poe_ovos), !.

carnivoro :- checa(come_carne), !.
carnivoro :- checa(tem_presas), checa(tem_garras), checa(tem_olhos_protuberantes).


mamifero    :- checa(tem_pelo), !.
mamifero    :- checa(amamenta_filhotes).

ave      :- checa(tem_penas), !.
ave      :- oviparo, checa(poe_ovos).

reptil :- oviparo, checa(sangue_frio), checa(tem_escamas), !.


ungulata :- mamifero, checa(tem_patas_com_casco), !.


/* nodos-folha (espécies) */
macaco :- mamifero, checa(anda_com_patas_traseiras), checa(polegar_opositor).
cavalo :- ungulata, checa(tem_crina).
tartaruga :- reptil, checa(tem_casco).
tigre :- mamifero, carnivoro, checa(pelagem_dourada), checa(tem_pintas_pretas).
girafa :- ungulata, checa(pescoco_longo), checa(pernas_compridas).
zebra :- ungulata, checa(tem_pintas_pretas).
avestruz :- ave, checa(terrestre), checa(pescoco_longo).           
pinguim :- ave, checa(terrestre), checa(nada), checa(ambiente_antartico).
aguia :- ave, checa(de_rapina), checa(voa_planando).
gamba:-mamifero, checa(tem_marsupio), checa(cheira_mal).