Escolar Documentos
Profissional Documentos
Cultura Documentos
Silviane Rodrigues
Disciplina: INF0577 – Laboratório de Inteligência Computacional
Turma: 3010 – 2012/2º
REVISÃO – AV1
1) Traduza as seguintes sentenças para Prolog e use a linguagem para saber quem é feliz.
Ursula é bonita. Norberto é rico e bonito. Berta é rica e forte. Bruno é amável e forte. Pierre é bonito. Todos os homens
gostam de mulheres bonitas. Todos os homens ricos são felizes. Qualquer homem que gosta de uma mulher que gosta dele é
feliz.
3) Considere que o funtor pai/2 seja utilizado para estabelecer os seguintes relacionamentos:
pai(carlos, ana).
pai(lucas, cesar).
pai(carlos, silas).
pai(silas, bete).
b) Usando também o funtor homem/1, defina a estrutura irmão(X,Y), que é verdade se X é irmã de Y.
5) Crie uma função sucessor (X,Y) e outra chamada antecessor (X,Y), onde Y é o resultado de:
6) Quais das seguintes operações de unificação serão bem sucedidas e quais irão falhar? Para as que forem bem
sucedidas, quais são as instanciações de variáveis resultantes?
a) ponto(A,B) = ponto(1,2).
b) ponto (A,B) = ponto (X,Y,Z).
c) ?- X+Y = 4
d) ?- X+Y = 4+2.
e) X=2, Y=3, X\=Y.