Por gentileza, alguém pode me orientar como elaborar uma analise léxica a partir das seguintes cláusulas de prolog?
08/12/2019
0
Para todo X e Z
X é antepassado de Z se
X é progenitor de Z
Isso 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).
X é antepassado de Z se
X é progenitor de Z
Isso 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).
Vagner Santos
Curtir tópico
+ 0
Responder
Clique aqui para fazer login e interagir na Comunidade :)