PROLOG
Introdução e Histórico
- Normalmente, variáveis e constantes são diferenciadas pela primeira letra:
- Símbolos iniciados por minúscula são constantes; e
- Símbolos iniciados por letra maiúscula são variáveis.
- O escopo léxico de nomes de variáveis é apenas uma cláusula.
- Isto quer dizer que, por exemplo, se o nome de variável X25 ocorre em duas cláusulas diferentes, então ela está representando duas variáveis diferentes.
- Por outro lado, toda ocorrência de X25 dentro da mesma cláusula quer significar a mesma variável.
- Esta situação é diferente para as constantes: o mesmo nome sempre significa o mesmo objeto ao longo de todo o programa.