PROLOG
Consultas em Prolog
antepassado(X, Z) :- % X é antepassado de Z se
progenitor(X, Z). % X é progenitor de Z. [pr1]
antepassado(X, Z) % X é antepassado de Z se
progenitor(X, Y), % X é progenitor de Y e
antepassado(Y, Z). % Y é antepassado de Z. [pr2]
Slide anterior
Slide seguinte
Voltar para o primeiro slide
Exibir versão do elemento gráfico