Gabarito
Segunda Lista de IA
Universidade COC

1) 1. Escreva sentenças atômicas para o seguinte vocabulário e interrogue PROLOG para obter informações:

Primeiramente deve-se criar as clausulas em Prolog segundo as informação acima. Sendo assim, podemos criar: mora_em(joao,casa). mora_em(maria,apartamento). homem(joao). mulher(maria). animal(cachorro). animal(gato). esporte(natacao). jogo(xadres). jogo(tenis). gosta_de(joao,mulher). gosta_de(maria,homem). gosta_de(joao,maria). gosta_de(joao,tenis). gosta_de(joao,xadres). gosta_de(maria,cachorro). gosta_de(maria,gato). gosta_de(maria,natacao). - Quem mora em apartamento e gosta de animais?
?- mora_em(X,apartamento), gosta_de(X,Y), animal(Y).
X = maria,
Y = cachorro ;
X = maria,
Y = gato
Joao e Maria moram em casa e gostam de esportes?
?- mora_em(X,Y), gosta_de(X,Z), esporte(Z).
X = maria,

Y = apartamento,
Z = natacao.
Agora tentando escrever para João e Maria morando em casa vai falhar pois maria mora em apartamento e além disso só tem um esporte definido que é a natação e joão não gosta. mora_em(joao,X),mora_em(maria,Y),esporte(Z), gosta_de(X,Z), gosta_de(Y,T), esporte(T) .
- Quem gosta de jogos e esportes?
?- gosta_de(X,Y), esporte(Y).
X = maria,
Y = natacao.
?- gosta_de(X,Y), jogo(Y).
X = joao,
Y = tenis ;
X = joao,
Y = xadres ; fail. - Tem alguma mulher que jogue tenis e gosta de gatos?
?- mulher(X), gosta_de(X,tenis), gosta_de(X,gato).

fail.
Neste caso, maria mulher, porém não gosta de tênis e gosta de gato.
Falta