Programação lógica: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Foram revertidas as edições de 179.176.239.4 para a última revisão de Belanidia, de 12h10min de 6 de novembro de 2015 (UTC) |
|||
Linha 4:
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 (computador)|memória]] muito limitada, que eram disponíveis quando ela foi desenvolvida. A linguagem Planner usava [[estrutura de controle|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'').<ref>{{Citar livro|título='Lógica de programação'|primeiro=Gley Fabiano Cardoso|último=Xavier|local=São Paulo|editora=Senac|ano=2007|página=25|isbn=8573595256}}</ref>
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 (linguagem de programação)|Oz]] e Frill, foram desenvolvidas a partir do Prolog. Atualmente existem linguagens de programação lógica [[programação concorrente|concorrente]] (não baseadas em ''backtracking'') derivadas do Planner (por exemplo, a Ether) e derivadas do Prolog (ver Shapiro [[1989]] para um apanhado geral). Vitor Donw
== História ==
| |||