PROLOG
Semântica
- A semântica OPERACIONAL define como PROLOG responde a uma pergunta.
- Seria ótimo se não fosse necessário conhecer esta semântica, pois neste caso, PROLOG seria realmente uma implementação do paradigma de programação em lógica. Entretanto, este não é o caso.
- PROLOG pesquisa se a pergunta é verdadeira ou falsa construindo a árvore de possibilidades para trás e faz a busca em profundidade. Se a árvore a percorrer é muito grande, o tempo pode se tornar proibitivo e é conveniente restringir o espaço de busca o mais possível, o que só é possível sabendo como o PROLOG vai visitar os nós da árvore.
- O modo como PROLOG vai visitar os nós da árvore varia se as declarações são apresentadas em ordem diferente. Consequentemente, PROLOG não é realmente uma linguagem declarativa.