/**********************************************************/
/* */
/* Universidad de Alicante */
/* */
/* LOGICA DE PRIMER ORDEN */
/* Prolog */
/* */
/* */
/* S.O. : MS-DOS (Windows) */
/* Interprete : SWI-Prolog */
/* Fichero : EJ05.PL */
/* */
/**********************************************************/
/* animal(Anim) <- Anim es un animal */
animal(mono).
animal(aranya).
animal(mosca).
animal(cocodrilo).
/* gusta(X,Y) <- a X le gusta Y */
gusta(mono,banana).
gusta(aranya,mosca).
gusta(aranya,hormiga).
gusta(cocodrilo,X) :- animal(X).
gusta(mosca,espejo).
/* regalo(X,Y) <- Y es un buen regalo para X */
regalo(X,Y) :- animal(X),
gusta(X,Y).
/* PREGUNTAS :
?- regalo(X,Y).
*/