Programação lógica: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Revertidas edições por 189.125.236.189 para a última versão por HVL (usando Huggle) |
|||
Linha 6:
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).
==
A programação lógica é uma idéia 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 formal (muito provavelmente uma parte do cálculo de predicado)". O programa básico formará conclusões imediatas a partir de uma lista de premissas. Essas conclusões serão tanto sentenças declarativas quanto imperativas. Quando uma sentença imperativa é deduzida, o
A lógica de programação tem como objetivo realizar funções ou esquemas lógicos por meio de parâmetros e metas.
| |||