Book chapter
Concurrent Prolog: A progress report
Fundamentals of Artificial Intelligence, Vol.232, pp.277-313
10/Jun/1986
Abstract
Concurrent Prolog is a logic programming language designed for concurrent programming and parallel execution. It is a process oriented language, which embodies dataflow synchronization and guarded-command indeterminacy as its basic control mechanisms.<br/><br/>The paper outlines the basic concepts and definition of the language, and surveys the major programming techniques that emerged out of three years of its use. The history of the language development, implementation, and applications to date is reviewed. Details of the performance of its compiler and the functionality of Logix, its programming environment and operating system, are provided.
Details
- Title
- Concurrent Prolog; A progress report
- Creators
- Ehud Shapiro (null) - 972WIS_INST___83
- Resource Type
- Book chapter
- Publication Details
- Fundamentals of Artificial Intelligence, Vol.232, pp.277-313
- Number of pages
- 37
- Book Editors
- Bibel, W. ; Jorrand, P.
- Series
- Lecture Notes in Computer Science
- Publisher
- Springer Verlag
- Language
- English
- DOI
- https://doi.org/10.1007/BFb0022685
- Grant note
- The research reported on in this survey has been conducted in cooperation with many people at ICOT, The Weizmann Institute, and other places; perhaps too many to recall by name. I am particularly indebted to the hospitality and stimulating research environment provided by ICOT and its people. The development of Logix was supported by IBM Poughkeepsie, Data Systems Division. Contributors to its development include Avshalom Houri, William Silverman, Jim Crammond, Michael Hirsch, Colin Mierowsky, Shmuel Safra, Steve Taylor, and Marc Rosen. I am grateful to Vijay saraswat for discussions on read-only unification, and to Steve Taylor and William Silverman for comments on earlier drafts of the paper.
- ISBN
- 978-3-540-16782-2
- Record Identifier
- 993265130803596
Metrics
9 Record Views