Programação lógica: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 64:
Keith Clark, Hervé Gallaire, Steve Gregory, Vijay Saraswat, Udi Shapiro, Kazunori Ueda, etc. desenvolveram uma família de sistemas [[concorrência (informática)|concorrentes]] de [[troca de mensagens|passagem de mensagens]] do tipo Prolog, usando unificação de variáveis compartilhadas e fluxo de estrutura de dados para mensagens. Esforços foram feitos para basear esses sistemas em lógica matemática, e elas foram usadas como a base para o [[Computação da quinta geração|Projeto Japonês da Quinta Geração de Computadores]].
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 [
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.
| |||