Programação lógica: diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
m Foram revertidas as edições de 193.236.32.49 (usando Huggle) (3.1.18)
uma coisa que tava diferente
Linha 1:
{{mais notas|data=novembro de 2012}}
'''Programação lógica''' é um [[paradigma de programação]] que faz uso da [[lógica matemática]]droga. [[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 (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>