Paradigmas de linguagens lógicas

Sumário

Introdução.

Os objetivos deste trabalho são apresentar os conceitos da programação lógica e suas linguagens. Iniciamos apresentando uma visão geral da programação lógica. Em seguida, falaremos sobre a principal linguagem de programação lógica, o Prolog, sua origem e características. Por fim as vantagens e desvantagens da programação lógica.

Uma visão geral da programação lógica.

Linguagem de programação é um método padronizado para expressar instruções para um computador. É um conjunto de regras sintáticas e semânticas, usadas para definir um programa de computador. A linguagem de programação lógica é um paradigma de programação que faz uso da lógica matemática. O sentido da programação lógica é trazer o estilo da lógica matemática à programação de computadores. Matemáticos e filósofos encontram na lógica uma ferramenta eficaz para desenvolvimento de teorias. Vários problemas são naturalmente expressos como teorias. Dizer que um problema precisa de solução frequentemente equivale a perguntar se uma nova hipótese é consistente com uma teoria existente ou se é conseqüência dela. A lógica proporciona uma maneira de demonstrar se uma questão é verdadeira ou falsa. O processo de construir uma demonstração é bem conhecido, portanto a lógica é um meio confiável de responder perguntas. Sistemas de programação lógica automatizam este processo. A inteligência artificial teve uma influência importante no desenvolvimento da programação lógica. Os programas lógicos são declarados em vez de baseados em procedimentos, o que significa que somente as especificações dos resultados desejados são declarados, em vez de procedimentos detalhados para produzi-los. A sintaxe das linguagens de programação lógica são notavelmente diferentes da sintaxe das linguagens imperativas e das funcionais. As linguagens usadas para programação lógica são chamadas de declarativas porque os