PROLOG
Introdução e Histórico
- Em PROLOG, as cláusulas são escritas na forma de regras, com a (única) conclusão no início.
- B1(X1,...,Xk) :- A1(X1,...,Xk),...,Am(X1,...,Xk).
- B1(X1,...,Xk).
- B1 :- A1,..,Am.
- B1.
- O único literal positivo de uma cláusula (que aparece antes do símbolo :-) é chamado cabeça da cláusula.
- Os literais negativos (que aparecem depois do símbolo :-) são chamados corpo da cláusula.