UFG - Instituto de Informática Lógica Matemática

ES/SI Prof.ª Dr.ª Elisângela Silva Dias1 Monitora: Karlla Loane2

6º Trabalho – 2022.2

Lógica de Predicados

Instruções:
• Este trabalho deve ser realizado individualmente.
• A implementação deve ser realizada na linguagem Prolog.
• Desenvolva um arquivo .pl para cada questão, nomeados como “questao1.pl” e “questao2.pl”.
• Em cada arquivo .pl inclua na linha inicial, um comentário contendo o seu nome e número de matrı́cula.
As perguntas utilizadas para testes devem ser colocadas também como comentários.
• Compacte os dois arquivos .pl em um único arquivo (.rar, ou .zip) para envio.

1. Considere o seguinte contexto.

• João gosta de todo tipo de comida.

• Maçãs são comida.
• Frango é comida.
• Qualquer coisa que alguém coma e que não cause sua morte é comida.
• Paulo come amendoim e ainda está vivo.
• Susana come tudo o que Paulo come.

(a) Traduza essas sentenças para o Prolog.

(b) Como seria a pergunta: “João gosta de amendoim?” em Prolog. E qual a resposta. (Justificada
pelo programa!)
(c) Como seria a pergunta: “O que Susana come?” em Prolog. E qual a resposta. (Justificada pelo
programa!)

2. Considere a seguinte base de fatos em Prolog:

aluno(joao, calculo).
aluno(maria, calculo).
aluno(joel, programacao).
aluno(joel, estrutura).
frequenta(joao, puc).
frequenta(maria, puc).
frequenta(joel, ufg).
professor(carlos, calculo).
professor(ana, estrutura).
professor(pedro, programacao).
funcionario(pedro, ufg).
funcionario(ana, puc).
funcionario(carlos, puc).

Escreva as seguintes regras em Prolog:

(a) Quem são os alunos do professor X?
(b) Quem são as pessoas que estão associadas a uma universidade X (alunos, funcionários e profes-
sores)?
1
e-mail: elisangelasd@ufg.br
2
e-mail: karllaloane@discente.ufg.br