Content deleted Content added
clean up, typo(s) fixed: Therefore → Therefore,; add MI; |
dab |
||
Line 31:
==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.
| |||