Content deleted Content added
Citation bot (talk | contribs) Alter: url. URLs might have been anonymized. | Use this bot. Report bugs. | Suggested by AManWithNoPlan | #UCB_CommandLine |
Tag: Reverted |
||
Line 68:
In 1982, during a visit to the ICOT, Ehud Shapiro invented Concurrent [[Prolog]], a novel programming language that integrated logic programming and concurrent programming. Concurrent Prolog is a [[Process-oriented programming|process oriented language]], which embodies [[dataflow]] synchronization and guarded-command [[Indeterminacy in concurrent computation|indeterminacy]] as its basic control mechanisms. Shapiro described the language in a Report marked as ICOT Technical Report 003,<ref>Shapiro E. A subset of Concurrent Prolog and its interpreter, ICOT Technical Report TR-003, Institute for New Generation Computer Technology, Tokyo, 1983. Also in Concurrent Prolog: Collected Papers, E. Shapiro (ed.), MIT Press, 1987, Chapter 2.</ref> which presented a Concurrent Prolog [[Interpreter (computing)|interpreter]] written in Prolog. Shapiro's work on Concurrent Prolog inspired a change in the direction of the FGCS from focusing on parallel implementation of Prolog to the focus on [[Logic programming#Concurrent logic programming|concurrent logic programming]] as the software foundation for the project.<ref name="EhudTrip"/> It also inspired the concurrent logic programming language Guarded Horn Clauses (GHC) by Ueda, which was the basis of [[KL1]], the programming language that was finally designed and implemented by the FGCS project as its core programming language.
The FGCS project and its findings contributed greatly to the development of the concurrent logic programming field. The project produced a new generation of promising Japanese researchers.in first generation there is very large computer and they run by vaccum tube
=== Commercial failure ===
| |||