Trabalho I

%Fatos

tipo(peixe, animal). tipo(passaro, animal). tipo(mamifero,animal). especie(tubarao,peixe). especie(salmao,peixe). especie(avestruz,passaro). especie(canario,passaro). nome(piupiu,canario). nome(nemo, peixe). nome(tutu, tubarao). nome(mimosa, vaca). nome(vamp, morcego). nome(xica, avestruz). nome(alfred, salmao).

cor(canario,amarela). tamanho(avestruz, grande).

comestivel(salmao). comestivel(vaca). %Regras

possui(X,pele) :- tipo(X,animal).

membro(nadadeira,X) :- habilidade(X,nadar). membro(asas,X) :- nome(X,morcego); nome(X,canario); nome(X, avestruz). habilidade(X,nadar) :- nome(X,peixe); nome(X, salmao); nome(X, tubarao). habilidade(X,voar) :- nome(X, canario); nome(X, morcego). habilidade(X,porOvos) :- nome(X,peixe), not(nome(X, tubarao));nome(X,canario); nome(X, avestruz); nome(X,salmao). habilidade(X,andar) :- nome(X,avestruz); nome(X, vaca). habilidade(X,darLeite) :- nome(X, vaca). habilidade(X,serveDeCarne) :- nome(X, vaca). habilidade(X, naoPorOvos) :- nome(X, tubarao).

coloracao(piupiu, X) :- cor(canario, X).

comestiveis(X) :- nome(X,vaca); nome(X, salmao).

%PERGUNTAS E RESPOSTAS

%1. O piupiu voa?
%R: habilidade(piupiu,voar).

%2. Qual a cor do piupiu?
%R: coloracao(piupiu, X).

%3. A Xica voa?
%R: habilidade(xica,voar).

%4. A Xica tem asas?
%R: membro(asas,xica).

%5. O Vamp voa? Tem asas? P�e ovos?
%R: habilidade(vamp,voar). / membro(asas,vamp). / habilidade(vamp,porOvos).

%6. Quais os nomes dos animais que p�em ovos?
%R: habilidade(X,porOvos).

%7. Quais os nomes dos animais que s�o comest�veis?
%R: comestiveis(X).

%8. Quais os nomes dos animais que se movem andando?
%R: habilidade(X,andar).

%9. Quais os nomes dos animais que se movem nadando, mas n�o p�em ovos?
%R: habilidade(X,nadar),not(habilidade(X,porOvos)).