Prolog

Linguagem de programação de alto nível baseada em lógica formal. Ao contrário das linguagens de programação tradicionais, baseadas na execução de sequências de comandos, o Prolog baseia-se em definir e resolver formulações lógicas. Normalmente designa-se o Prolog como uma linguagem declarativa ou linguagem baseada em regras porque os seus programas consistem numa lista de factos e regras. É utilizada extensivamente em aplicações de inteligência artificial, particularmente em sistemas períciais.
A abreviatura Prolog significa Programming Logic.