Lógica de programção

1280 palavras 6 páginas
Lógica de Programação

Introdução

Programação lógica é um paradigma de programação que faz uso da lógica matemática. John McCarthy [1958] foi o primeiro a publicar uma proposta de uso da lógica matemática para programação.
A primeira linguagem de programação lógica foi a Planner, a qual permitia a invocação orientada a padrões de planos procedimentais de asserções e de objetivos. Com a necessidade de adaptação aos sistemas de memória muito limitada, que eram disponíveis quando ela foi desenvolvida. A linguagem Planner usava estruturas de controle de backtracking, de tal forma que apenas um único caminho computacional tinha que ser armazenado por vez. Em seguida, o Prolog foi desenvolvido como uma simplificação do Planner que permitia a invocação orientada a padrões apenas a partir de objetivos (também baseado em backtracking).

Base na 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 é consequê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.

Limitações do uso da lógica matemática para a programação:

John McCarthy propôs que a lógica matemática fosse usada como o fundamento para a epistemologia de sistemas de computadores. Sob a liderança de Marvin Minsky e Seymour Papert, uma abordagem diferente baseada em procedimentos processuais foi desenvolvida no MIT. Quando

Relacionados

  • ILA - Logica de Programção
    28146 palavras | 113 páginas
  • Introdução a Lógica de programção - AD - Unisul
    305 palavras | 2 páginas
  • 0000000000
    1444 palavras | 6 páginas
  • ATPS de Algorítmos e Programação - Etapa 1 - Bobinas Jumbo
    344 palavras | 2 páginas
  • Compare as Respostas
    323 palavras | 2 páginas
  • portifólio de algorítimo
    353 palavras | 2 páginas
  • Paradigmas de linguagens
    498 palavras | 2 páginas
  • Algoritmo de Lógica de Programação
    260 palavras | 2 páginas
  • Analise de requisitos
    780 palavras | 4 páginas
  • Escola Municipal Doutor Leandro Franceschini
    700 palavras | 3 páginas