matemática

Curso: Tecnologia em Sistemas de Informação.
Disciplina: Lógica Matemática.
Professor: Ney Barros.
Turma: TS2P.
Brasília-DF, 7 de outubro de 2013.

EP2
Data de entrega: até 11/11/2013
Objetivo
O propósito deste Exercício-Programa (EP) é aplicar conteúdos de Lógica Proposicional e de Lógica de Predicados aprendidos na disciplina Lógica Matemática, bem como familiarizálos com a Programação em Lógica, a linguagem de programação Prolog, o uso de ambiente de programação e a entrega de trabalhos.

Comando único
Considere a seguinte árvore genealógica:

Dela é possível depreender o seguinte:
• Bart é do sexo masculino.
• Clancy é do sexo masculino.
• Homer é do sexo masculino.
• Jackie é do sexo feminino.
• Lisa é do sexo feminino.
• Maggie é do sexo feminino.
• Marge é do sexo feminino.
• Clancy é o pai de Marge.
• Homer é o pai de Bart.
• Homer é o pai de Lisa.
• Homer é o pai de Maggie.
• Jackie é a mãe de Marge.
• Marge é a mãe de Bart.
• Marge é a mãe de Lisa.
• Marge é a mãe de Maggie.
Abaixo está um trecho de programa Prolog contendo fatos e regras que mapeiam a situação acima: homem(bart). homem(clancy). homem(homer). mulher(jackie). mulher(lisa). mulher(maggie). mulher(marge). gerou(clancy,marge). gerou(homer,bart). gerou(homer,lisa). gerou(homer,maggie). gerou(jackie,marge). 2

gerou(marge,bart). gerou(marge,lisa). gerou(marge,maggie). pai(A,B) :- homem(A),gerou(A,B). mae(A,B) :- mulher(A),gerou(A,B).
Utilize o software SWI-Prolog 1 para testar o programa. Em seguida, incremente-o definindo regras para:
a) filho
b) filha
c) irmão
d) irmã
e) avô
f) avó
g) neto
h) neta
Olhe novamente a figura e complete o programa com todos os fatos “homem”, “mulher” e
“gerou” possíveis de serem extraídos da árvore genealógica.
Em seguida, amplie o programa criando regras para:
i) tio
j) tia
k) sobrinho
l) sobrinha

1

SWI-Prolog é software livre, estando disponível no Laboratório de Informática no 1 e para