JERCICIO

Un zoolgico tiene las siguientes descripciones de animales:

guepardo: carnvoro de color tostado con manchas negras, que da leche a sus cras
tigre: carnvoro de color tostado con manchas negras, que da leche a sus cras
cebra: ungulado de color negro con manchas blancas, que da leche a sus cras
jirafa: ungulado con cuernos de color tostado, con largo cuello y piernas, que da leche
a sus cras.
avestruz: ave no volador, de largo cuello y piernas y color blanco y negro
pingino: ave no volador, pero nadador, de color blanco y negro
albatros: ave volador.

Programar el conjunto de predicados que permita clasificar animales segn sean mamferos o
aves y determinar: si son ungulados, si son carnvoros, si tienen manchas de un color dado, cul
es su color, si vuelan, si dan leche a sus cras y qu animales de la base de datos no vuelan.

Aadir nuevos hechos que permitan conocer:

que un ungulado con cuernos es un antlope

que los murcilagos son los nicos mamferos voladores

SOLUCIN
Los hechos:
LAS REGLAS: