linguagem de programao Prolog nasceu de um projeto que no tinha por foco a implementao de uma linguagem de programao, mas o processamento

de linguagens naturais O Prolog uma linguagem declarativa, significando que em vez de o programa estipular a maneira de chegar soluo, passo a passo, (como nas linguagens procedimentais ou imperativas), limita-se a fornecer uma descrio do problema que se pretende computar. Usa uma coleo base de dados de fatos e de relaes lgicas (regras) que exprimem o domnio relacional do problema a resolver. Prolog uma linguagem de programao que se enquadra no paradigma de Programao em Lgica Matemtica. uma linguagem de uso geral que especialmente associada com a inteligncia artificial elingustica computacional. Consiste numa linguagem puramente lgica, que pode ser chamada de Prolog puro, e numa linguagem concreta, a qual acrescenta o Prolog puro com componentes extra-lgicos. O uso Prolog puro foi originalmente restrito em provas do teorema da resoluo com Clusulas de Horn do formato - H :- B1, , Bn.. A aplicao do provador de teoremas trata estas clusulas como procedimentos para mostrar/resolver H, mostrar/resolver B1 and and Bn. O Prolog puro foi ento estendido para incluir a negao por falha, na qual condies negativas da forma not(Bi) so mostradas por tentativa e falha para resolver as condies positivas correspondentes Bi). O nome Prolog para a linguagem concreta foi escolhido por Philippe Roussel como uma abreviao de PROgrammation en LOGique. Foi criada em meados de 1972 por Alain Colmerauer e Philippe Roussel, baseados no conceito de Robert Kowalski da interpretao procedimental das clusulas de Horn. A motivao para isso veio em parte da vontade de reconciliar o uso da lgica como uma linguagem declarativa de representao do conhecimento com a representao procedimental do conhecimento, que era popular na Amrica do Norte no final da dcada de 1960 para incio de 1970. Muito do desenvolvimento moderno do Prolog veio dos projetos de computadores da quinta gerao (FGCS), que desenvolveu uma variante do Prolog chamada Kernel Language para seu primeiro sistema operacional. Apesar do longo tempo de desenvolvimento, Prolog ainda no uma linguagem portvel, j que cada implementao usa rotinas completamente diferentes e incompatveis entre si. Por exemplo, um programa trivial que faz um loop de ler uma linha da console e escreve a mesma linha, terminando quando for entrada uma linha vazia, impossvel de ser escrito de forma que qualquer interpretador consiga rodar ?- write('Hello world!'), nl. Hello world! true. ?-

http://pt.wikipedia.org/wiki/Prolog http://www.criarweb.com/artigos/239.php