PROLOG

Árvore Genealógica

Dada a seguinte árvore genealógica, criou-se a base de conhecimento para consultas sobre filiação, paternidade, maternidade, irmandade, avós e descendentes.

Código fonte de arvoregen.pl :

%Fatos

genitor(paula,roberto). genitor(pedro,roberto). genitor(pedro,alexia). genitor(roberto,ana). genitor(roberto,patricia). genitor(patricia,tiago). mulher(paula). mulher(alexia). mulher(patricia). mulher(ana). homem(pedro). homem(roberto). homem(tiago).

%Regras

prole(Y,X) :- genitor(X,Y). filho(Y,X) :- genitor(X,Y), homem(Y).

filha(Y,X) :- genitor(X,Y), mulher(Y).

mae(X,Y) :- genitor(X,Y), mulher(X).

pai(X,Y) :- genitor(X,Y), homem(X).

avos(X, Z) :- genitor(X,Y), genitor(Y, Z).

irma(X,Y) :- genitor(Z ,X), genitor(Z ,Y), mulher(X), not(X=Y).

irmao(X,Y) :- genitor(Z ,X), genitor(Z ,Y), homem(X), not(X=Y).

descendente(X, Z):- genitor(X, Z). descendente(X, Z):- genitor(X,Y), descendente(Y, Z).

Consultas:

?- pai(X,roberto).
?- genitor(X,roberto).
?- mae(X,tiago).
?- avos(X,tiago).
?- irma(X,roberto).
?- irmao(X,roberto).
?- irmao(X,alexia).
?- descendente(pedro,Y).
?- descendente(X,ana).
?- prole(X,pedro).

Cadeia Alimentar

A Partir da Cadeia Alimentar descrita abaixo, construiu-se uma base de conhecimento em Prolog, que permita consultas sobre a Cadeia Alimentar:

Ursos comem guaxinins, peixes, raposas e veados.
Peixes comem peixinhos.
Peixinhos comem algas.
Guaxinins comem peixes.
Raposas comem coelhos.
Coelhos e veados comem grama.
Linces comem veados.

Código Fonte de cadeia.pl :

%Fatos

animal(urso). animal(peixe). animal(peixinho). animal(guaxinim). animal(raposa). animal(coelho). animal(veado). animal(lince). planta(alga). planta(grama). %Regras

come(urso,peixe). come(peixe,peixinho). come(peixinho,alga).