Programação lógica: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 74:
Diversos pesquisadores estenderam a programação lógica com as características da [[programação de ordem superior]] derivadas da [[lógica de ordem superior]], tais como variáveis de predicado. Tais linguagens incluem as extensões do Prolog HiLog e λProlog.
== Programação lógica linear
Basear a programação lógica na lógica linear resultou no projeto de linguagens de programação lógica que são consideravelmente mais custosas do que aquelas baseadas na lógica clássica. Programas com [[cláusula de Horn|cláusulas de Horn]] (Prolog) podem apenas representar uma mudança de estado pela mudança em argumentos para predicados. Na programação lógica linear, pode-se usar a lógica linear como ambiente para dar suporte à mudança de estado.
Alguns projetos iniciais das linguagens de programação lógica baseadas na lógica linear, incluem LO [Andreoli & Pareschi, 1991], Lolli [Hodas & Miller, 1994], ACL [Kobayashi & Yonezawa, 1994], e Forum [Miller, 1996].O Fórum proporciona a interpretação direcionada a objetivos de toda a lógica linear.
| |||