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.

Como referenciar: Prolog in Infopédia [em linha]. Porto: Porto Editora, 2003-2020. [consult. 2020-04-10 13:44:10]. Disponível na Internet: