Question

Há vários tipos de argumentos que não podem ser adequadamente formalizados em lógica proposicional. Considerando os predicados fica-em (X,Y) para indicar que a cidade X fica no país Y, e nasceu-em (X, Y ) para indicar que a pessoa X nasceu na cidade Y, como ficaria a regra em Prolog “patria-de” para indicar que X é a pátria da pessoa Y? Alternativa 1: patria-de(X,Y):- fica-em(X,Y). Alternativa 2: patria-de(X,Y):- nasceu-em(X,Z),fica-em(Z,Y). Alternativa 3: patria-de(X,Y):- nasceu-em(Y,Z),fica-em(Z,X). Alternativa 4: patria-de(X,Y):- fica-em(Y,Z),nasceu-em(Z,X). Alternativa 5: Altepatria-de(X,Y):- fica-em(Y,Z),nasceu-em(Z,X).

Answer 1

patria-de(X,Y):-nasceu-em(X,Z),fica-em(Z,Y).

Confira em: http://gersonc.anahy.org/graduacao/paradigmas/prologsan.pdf

Answer 2

Resposta: Alternativa 3: patria-de(X,Y):- nasceu-em(Y,Z),fica-em(Z,X).