PROLOG
Semântica
- A semântica PROCEDURAL define não apenas o relacionamento lógico existente entre a cabeça e o corpo da cláusula, como também exige a existência de uma ordem na qual os objetivos serão processados.
- Exemplo
- Seja P :- Q, R
onde P, Q e R possuem a sintaxe de termos PROLOG. Duas alternativas para a leitura procedural destas cláusulas são:
- Para solucionar o problema P
primeiro solucione o subproblema Q
e depois solucione o subproblema R.
- Para satisfazer P, primeiro satisfaça Q e depois R.