prolog

Linguagem Prolog
Everton Luís Berz¹, Diogo Santinon¹
¹ Faculdades de Informática de Taquara - Faculdades de Taquara (FACCAT)
{everton, diogo}@faccat.br
Resumo. Este artigo descreve um histórico, características e aplicabilidade da linguagem PROLOG (Programming in Logic). No final do artigo é mostrado um exemplo de programa de PROLOG.
1. Histórico

O próprio nome, Prolog, já dá uma idéia: programar em lógica. A hereditariedade do Prolog inclui a pesquisa sobre a inferência dedutiva sobre cláusulas de Horn e outros sistemas automatizados da dedução desenvolvidos nos anos 1960 e nos de 1970, assim Prolog é um demonstrador de teoremas que manipula estruturas simbólicas, conduzidas por regras de inferência.
O mecanismo de referência do Prolog é baseado no princípio da definição de Robinson (1965) junto com mecanismos para extrair as respostas propostas por Verde (1968). Estas idéias vieram juntas forçando com os eventos de procedimentos lineares da definição. Os procedimentos lineares objetivo-dirigidos explícitos da definição, tais como aqueles de Kowalski e Kuehner (1971) e Kowalski (1974), deram o ímpeto ao desenvolvimento de um sistema de programação da lógica da finalidade geral. O "primeiro" Prolog era de "Prolog Marselha" baseado no trabalho por Colmerauer (1970). A primeira descrição detalhada da língua do Prolog era o manual para o intérprete do Prolog de Marselha (Roussel, 1975).
A outra influência principal na natureza deste primeiro Prolog era que estava projetada á facilitar o processamento de uma língua natural. O Prolog é o exemplo principal de uma quarta geração de linguagem de programação que suporta o paradigma de programação declarativo. O projeto japonês do computador da Quinta-Geração, anunciado em 1981, adotou o Prolog como uma língua do desenvolvimento, e focalizou desse modo a atenção considerável na língua e suas potencialidades.
O outro tipo principal do Prolog é a família de PrologII dos Prologs que são os descendentes do