Programação logica

Alguns Aspectos de Programação em Lógica e Prolog

Introdução

A lógica, desde Aristóteles, sempre esteve ligada ao pensamento cientifico. Ela constitui a base para deduzir conseqüências a partir de certas premissas, para estudar a validade ou falsidade de sentenças, dada a validade ou a falsidade de outras sentenças; para verificar a validade de argumentos e para estabelecer a consistência de um conjunto de sentenças.

Já os computadores surgiram na história há muito pouco tempo, ao compará-los com a lógica. Quase todos os computadores de hoje em dia são baseados no modelo de Von Neumann que surgiu na década de 40. Esta máquina é uma concretização da máquina de Alan Turing. A máquina proposta por Von Neumann é constituída por um “grande” conjunto de células de memória e uma unidade de processamento com algumas células de memória locais chamadas registradores.

Figura 1. Esquema básico da máquina de Von Neumann.

A unidade de processamento pode copiar dados armazenados nas células de memória para os registradores, realizar operações com esses dados nos registradores e transferir os resultados de volta para as células de memória. Um programa para a máquina de Von Neumann deverá fornecer instruções que realizem as operações descritas acima.

O desenvolvimento de computadores baseados na máquina de Von Neumann encontrou muitas limitações tecnológicas e de engenharia que foram sendo resolvidas através dos anos. Porém, á medida que os problemas referentes à construção de computadores eram resolvidos, os problemas relativos a como utiliza-los surgiam. Em outras palavras, os computadores eram capazes de realizar instruções fornecidas pelo homem, porém o homem ainda não era plenamente apto a programar os computadores para resolver problemas práticos que surgiam. A única linguagem disponível na época era a linguagem especifica de cada máquina através da qual o programador fornecia instruções ao “estilo Von Neumann”.

A construção de programas escritos em