;; Definición de hechos sobre los animales

(defparameter *mamiferos* '(leon perro))

(defparameter *aves* '(canario paloma))

;; Función para determinar si un animal es mamífero

(defun es-mamifero (animal)

  (member animal *mamiferos*))

;; Función para determinar si un animal es un ave

(defun es-ave (animal)

  (member animal *aves*))




;; Consultas de ejemplo

;; ¿Es el león un mamífero?

;;(print (es-mamifero 'leon))

;; ¿Es el canario un ave?

;;(print (es-ave 'canario))

;; ¿Es el perro un ave?

;;(print (es-ave 'perro)