prolog

PROGRAMAÇÃO LÓGICA

PROGRAMAÇÃO LÓGICA - PROLOG


Na lógica de predicados, usamos regras de inferência para chegarmos a teses a partir das hipóteses.




Se uma tese tiver sido demonstrada como consequência de determinada hipótese, então, em uma interpretação na qual a hipótese seja verdadeira, a tese também será verdadeira. A linguagem de programação Prolog, que significa
Programming in Logic, também ajuda a chegar a teses a partir das hipóteses.
A linguagem inclui predicados, conectivos lógicos e regras de inferência.
 Ela permite a descrição de uma interpretação, ou melhor, de hipóteses verdadeiras em uma interpretação.


PROLOG








Prolog é uma linguagem declarativa (também chamada de linguagem descritiva).
Um programa Prolog consiste em declarações ou descrições sobre uma interpretação, isto é, quais as hipóteses que são verdadeiras em uma interpretação.
O conjunto de declarações é também chamado de base de dados do Prolog.
Para determinar se uma dada tese, colocada na forma de uma pergunta pelo usuário, é ou não verdadeira para a interpretação, Prolog usa sua base de dados e aplica suas regras de inferências (sem a necessidade de qualquer instrução por parte do programador).

PROLOG
Em uma base de dados do Prolog, os itens podem ter duas formas: fatos e regras
 Os fatos do Prolog permitem definir predicados. Os fatos são declarações que são sempre verdadeiras.
 Por exemplo, suponhamos que desejemos criar um programa Prolog que descreva as cadeias alimentares em uma determinada região ecológica.  Devemos começar com um predicado binário come. Então descreveremos este predicado fornecendo os pares de elementos no domínio que tornam come verdadeiro.


PROLOG - FATOS
Os fatos do Prolog permitem definir predicados.  Os fatos são declarações que são sempre verdadeiras. Exemplo:


Suponhamos que desejemos criar um programa
Prolog que descreva as cadeias alimentares em uma