Programação lógica: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Retirei o link "http://www.cursou.com.br/informatica/curso-logica-de-programacao" por se tratar de propaganda sobre curso de lógica de programação e não de programação lógica |
|||
Linha 70:
== 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,
== Domínios das aplicações ==
|