PROLOG

Pesquisa PROLOG

O que é

Prolog é uma linguagem de programação que se enquadra no paradigma de Programação em Lógica Matemática. É uma linguagem de uso geral que é especialmente associada com a inteligência artificial e linguística computacional. Consiste numa linguagem puramente lógica, que pode ser chamada de Prolog puro, e numa linguagem concreta, a qual acrescenta o Prolog puro com componentes extra-lógicos.

Sintaxe

Fatos, Regras e Consultas

" O termo Prolog é derivado da expressão "Programming in Logic", uma vez que é baseado em Lógica de Predicados de 1a ordem." Foi criado em 1973, na Universidade de Marseille, França." Propósito da criação: criar programas para tradução de linguagem natural (= linguagens faladas, como português, inglês)." Não é uma linguagem padronizada: padrão ANSI esta sendo formalizado. Enquanto isso, o livro de Clocksin e Mellish, "Programming in Prolog" (1984) é um padrão não oficial." Geralmente é interpretado, mas pode ser compilado." Escolhida para o projeto japonês da linguagem de 5a. Geração.

O segundo tipo de predicado no Prolog é a regra, também chamada de "cláusula". Exemplos de uma regra são: a :- b, c, d. luz(acesa) :- interruptor(ligado).
O ":-" significa "se". Estas regras dizem: que 'a' é verdadeiro se 'b', 'c', e 'd' são verdadeiros que luz(acesa) é verdadeiro se interruptor(ligado) é verdadeiro.
Regras podem também fazer uso de variáveis, como por exemplo, avo(X,Z) :- pai(X,Y), pai(Y,Z).
(X é avô de Z se X é pai de Y e Y é pai de Z)
Isso significa "se alguém é pai de outra pessoa, que por sua vez é pai de uma terceira, então ele é avô". O antecedente e o conseqüente estão na ordem inversa do que é normalmente encontrado na notação da lógica: o conseqüente é escrito primeiro e é chamado a cabeça da regra, o antecedente é chamado corpo. A conjunção (e) é escrita como ",", enquanto a disjunção (ou) é escrita como ";". Também é possível colocar múltiplos predicados em um mesmo corpo, unindo