Programação lógica: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 72:
Como o [[modelo de ator]]es, os sistemas com o Prolog concorrente são baseados em passagem de mensagens e conseqüentemente estavam sujeitos à mesma indeterminação. Esta foi a base de um argumento de Carl Hewitt e Gul Agha [1998] sugerindo que os sistemas com Prolog concorrente nem eram dedutivos nem lógicos.
== Programação de lógica de ordem superior == e uma vagabundagem
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.
| |||