PROLOG
Exemplo Introdutório
- Além disso, as definições de regras podem ser recursivas, isto é, uma cláusula de definição de um predicado pode conter este predicado em seu corpo:
- -antepassado(X,Z) :- progenitor(X,Z).
- -antepassado(X,Z) :- progenitor(X,Y), antepassado(Y,Z).
- Com estas definições podemos obter os seguintes resultados:
- -antepassado(X,jorge).
X = íris;
X = maria;
X = joão;
X = josé;