From the Publisher:
Concurrent Prolog brings together for the first time descriptions of the major concurrent logic programming languages proposed so far for future parallel computer systems. In particular, it describes the concurrent logic programming language Flat Concurrent Prolog, a comprehensive and radical approach to parallel computing that is based on a simple foundation.
After surveying recent research in concurrent logic programming languages, these two volumes address all of the relevant aspects of constructing such a parallel computer system. They investigate how systems programming and the implementation of parallel algorithms can be carried out with this language; how advanced program development techniques can be applied; how to embed other high-level languages in it; and how to implement this language efficiently on sequential and parallel computers. The results of these investigations suggest that Flat Concurrent Prolog can serve as a general-purpose high-level machine language for parallel computers.
Ehud Y. Shapiro is Senior Scientist, Department of Applied Mathematics, Weizmann Institute of Science. Concurrent Prolog is included in his Logic Programming series. Much of the research describe in the book was stimulated by the Fifth Generation project and cross-fertilization between the authors and ICOT.
Cited By
- Turilli M, Santcroos M and Jha S (2018). A Comprehensive Perspective on Pilot-Job Systems, ACM Computing Surveys, 51:2, (1-32), Online publication date: 31-Mar-2019.
- Nagata T, Takimoto M and Kambayashi Y Cooperatively Searching Objects Based on Mobile Agents Transactions on Computational Collective Intelligence XI - Volume 8065, (119-136)
- Tolmach A, Antoy S and Nita M (2019). Implementing functional logic languages using multiple threads and stores, ACM SIGPLAN Notices, 39:9, (90-102), Online publication date: 19-Sep-2004.
- Tolmach A, Antoy S and Nita M Implementing functional logic languages using multiple threads and stores Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, (90-102)
- Pontelli E and Gupta G (2001). Backtracking in Independent And-Parallel Implementations of Logic Programming Languages, IEEE Transactions on Parallel and Distributed Systems, 12:11, (1169-1189), Online publication date: 1-Nov-2001.
- Ranjan D, Pontelli E and Gupta G (1999). On the complexity of or-parallelism, New Generation Computing, 17:3, (285-307), Online publication date: 1-Sep-1999.
- Nakada H, Araki T, Koike H and Tanaka H A Fleng Compiler for PIE64 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, (257-266)
- Zhang K (1994). A review of exploitation of AND-parallelism and combined AND/OR-parallelism in logic programs, ACM SIGPLAN Notices, 29:2, (25-32), Online publication date: 1-Feb-1994.
- Jagannathan S and Weeks S Analyzing stores and references in a parallel symbolic language Proceedings of the 1994 ACM conference on LISP and functional programming, (294-305)
- Jagannathan S and Weeks S (2019). Analyzing stores and references in a parallel symbolic language, ACM SIGPLAN Lisp Pointers, VII:3, (294-305), Online publication date: 1-Jul-1994.
- Ueda K and Morita M (1994). Moded flat GHC and its message-oriented implementation technique, New Generation Computing, 13:1, (3-43), Online publication date: 1-Dec-1994.
- Saraswat V, Kahn K and Weinbaum D Detecting stable properties of networks in concurrent logic programming languages Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, (210-222)
- Kahn K (1988). Concurrent Logic Programming, Metaprogramming, and Open Systems, AI Magazine, 9:1, (115-116), Online publication date: 1-Mar-1988.
Recommendations
Survey and comparison of PARLOG and Concurrent Prolog
The integration of logic programming and concurrent programming has created a new class of languages, concurrent logic languages. These languages are born from a new interpretation of Horn clauses, called the process interpretation. The main goal of ...
Towards a jitting VM for prolog execution
PPDP '10: Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programmingMost Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes them hard to write. In addition, many of the more dynamic features of Prolog ...