Logica de programação

1569 palavras 7 páginas
Programação lógica
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 embacktracking).
A partir do Planner, foram desenvolvidas as linguagens de programação QA-4, Popler, Conniver, e QLISP. As linguagens de programação Mercury, Visual Prolog, Oz e Frill, foram desenvolvidas a partir do Prolog. Atualmente existem linguagens de programação lógica concorrente (não baseadas em backtracking) derivadas do Planner (por exemplo, a Ether) e derivadas do Prolog (ver Shapiro 1989 para um apanhado geral).

História
A programação lógica é uma ideia que tem sido investigada no contexto da inteligência artificial pelo menos desde o momento em que John McCarthy [1958] propôs: "programas para manipular com sentenças instrumentais comuns apropriadas à linguagem

Relacionados

  • Logica de programacao
    1081 palavras | 5 páginas
  • logica de programação
    681 palavras | 3 páginas
  • Ad logica de programação ii
    1330 palavras | 6 páginas
  • Exercícios de lógica de programação (visual g)
    1234 palavras | 5 páginas
  • Lógica de programação
    2327 palavras | 10 páginas
  • exercicios atps logica de programação
    1415 palavras | 6 páginas
  • Atividade Estruturada Logica de Programação
    494 palavras | 2 páginas
  • Atividade 05 Lógica de Programação
    1843 palavras | 8 páginas
  • APOL 3 LOGICA DE PROGRAMACAO NOTA 100
    1415 palavras | 6 páginas