lista PLP

Paradigmas de Linguagens de Programação
Lista 1
Prof. Sergio Zorzo
1. Expresse cada uma das seguintes afirmações usando uma sentença escrita em lógica de primeira ordem, utilizando apenas os símbolos de predicados “pai”, “mãe”, “progenitor”,
“mulher”, “filho”
Obs: faça uso de quaisquer quantificadores que julgar necessários
a. “Se X é um pai ou X é uma mãe então X é progenitor de alguém”
b. “Se X é um progenitor e X é uma mulher então X é mãe de alguém”
c. “Se X é um pai ou X é uma mãe então alguém é progenitor de alguém”
d. “Se todo mundo é um progenitor então alguém é um filho”
2. Expresse cada uma das seguintes afirmações usando lógica de primeira ordem em forma clausal, utilizando apenas as palavras grifadas como símbolos de predicado
a. “Nem tudo que reluz é ouro”
b. “Tudo está bem quando termina bem”
c. “Nenhum homem é uma ilha”
d. “Os fins justificam os meios”
3. Encontre os unificadores mais gerais para os seguintes pares de termos (se possível)
a. p(a, X) e p(Y, b)
b. p(X, X) e p(Y, Z)
c. p(X, Y) e p(Y, X)
d. p(t(X, t(X, b))) e p(t(a, Z))
e. p(t(X, t(X, b))) e p(t(a, t(Z, Z)))
f. p(X, f(Y)) e p(f(Y), X)
g. p(X, f(X)) e p(f(Z), f(Z))
4. Faça a árvore de busca para o seguinte programa lógico, considerando a consulta
?sub(l(a,X), l(a,l(b,nil)))
S1: sub(X, Y) se pre(X, Y)
S2: sub(X, l(U,Y)) se sub(X, Y)
P1: pre(nil, Y)
P2: pre(l(U,X), l(U,Y)) se pre(X, Y)
5. Considere o seguinte programa Prolog pai_ou_mae(tom,bob). pai_ou_mae(tom,liz). pai_ou_mae(bob,ana). pai_ou_mae(bob,pat). pai_ou_mae(pat,jim). mulher(ana). mulher(pat). irma(X,Y) :- pai_ou_mae(Z,X), pai_ou_mae(Z,Y), mulher(Y).
Faça a árvore de busca para a consulta irma(pat,X), para demonstrar como pat se torna irmã dela mesma nessa versão do programa.

6. Considere o seguinte programa Prolog proc(X,Z) :- proc(Y,Z), a(X,Y). proc(X,Z) :- a(X,Z). a(a,b). a(b,c).
a. Faça a árvore de busca para a consulta proc(a,Z), para demonstrar como é importante conhecer o