Indeterminacy in concurrent computation: Difference between revisions

Revision as of 20:26, 22 March 2024

Revision as of 19:27, 18 August 2024

Line 29:

==Prolog-like concurrent systems were claimed to be based on mathematical logic==

[[Keith Clark (computer scientist)|Keith Clark]], Hervé Gallaire, Steve Gregory, Vijay Saraswat, Udi Shapiro, Kazunori Ueda, etc. developed a family of [[Prolog]]-like concurrent message passing systems using unification of shared variables and data structure streams for messages. Claims were made that these systems were based on mathematical logic.{{Citation needed|date=March 2007}} This kind of system was used as the basis of the [[fifth generation computer|Japanese Fifth Generation Project (ICOT)]].

Carl Hewitt and Gul Agha [1991] argued that these Prolog-like concurrent systems were neither deductive nor logical: like the Actor model, the Prolog-like concurrent systems were based on message passing and consequently were subject to the same indeterminacy.