PROLOG
Semântica
- Exemplo
- Seja P :- Q, R
onde P, Q e R possuem a sintaxe de termos PROLOG. Duas alternativas para a leitura declarativa destas cláusulas são:
- P é verdadeira se Q e R são verdadeiras, e
- De Q e R, segue P.
- A semântica declarativa determina se um dado objetivo é verdadeiro e, se for, para que valores de variáveis isto se verifica.
- Assim, dado um programa e um objetivo G, o significado declarativo nos diz que:
- Um objetivo G é verdadeiro (isto é, é satisfatível ou segue logicamente do programa) se e somente se há uma cláusula C no programa e uma instância I de C tal que:
- A cabeça de I é idêntica a G, e
- Todos os objetivos no corpo de I são verdadeiros.