PROLOG
Semântica
- PROLOG tem três semânticas: a DECLARATIVA, a PROCEDURAL e a OPERACIONAL.
- A semântica DECLARATIVA é aquela em que se escreve e lê o programa PROLOG e que é uma representação do que se conhece da definição do problema a resolver.
- A semântica declarativa pode ser interpretada de três modos distintos:
- Para resolver um problema dá-se uma nova cláusula, a pergunta, e o PROLOG tenta verificar se esta cláusula é compatível com o mundo definido;
- Considera-se que os literais na cabeça e cauda de cada cláusula são objetivos a serem atingidos. Uma pergunta tem resposta afirmativa se o objetivo que ela define é satisfeito usando as regras do programa;
- Olha as cláusulas como regras de uma gramática, onde cada regra de PROLOG corresponde a uma regra da gramática.