PROLOG
Exemplo Introdutório
- A capacidade do PROLOG não se limita à busca em uma base de conhecimentos; é possível armazenar regras.
- As regras definem as condições que devem ser satisfeitas para que uma certa declaração seja considerada verdadeira.
- -mae(X,Y) :- progenitor(X,Y), feminino(X).
- -pai(X,Y) :- progenitor(X,Y), masculino(X).
- -avo(X,Z) :- progenitor(X,Y), progenitor(Y,Z).
- Com estas definições podemos obter os seguintes resultados:
- -mae(X,josé).
X = maria;
- -pai(X,íris).
X = josé;