Aos especialistas.Gostaria de saber se alguém sabe como montar uma análise léxica do referido prolog descrito aqui?

12/12/2019

4

Para todo X e Z
X é antepassado de Z se
X é progenitor de Z

Logo conduz a um conjunto de cláusulas do tipo:

antepassado(X, Z) :-
progenitor(X, Y),
progenitor(Y, Z).
antepassado(X, Z) :-
progenitor(X, Y1),
progenitor(Y1, Y2),
progenitor(Y2, Z).
antepassado(X, Z) :-
progenitor(X, Y1),
progenitor(Y1, Y2),
progenitor(Y2, Y3),
progenitor(Y3, Z).
Responder

Utilizamos cookies para fornecer uma melhor experiência para nossos usuários. Para saber mais sobre o uso de cookies,
consulte nossa política de privacidade. Ao continuar navegando em nosso site, você concorda com a nossa política.

Aceitar