Parallel implementation of flat concurrent Prolog

Journal Article · Sun Jun 01 04:00:00 EDT 1986 · Int. J. Parallel Program.; (United States)

DOI:https://doi.org/10.1007/BF01414556· OSTI ID:5332222

Taylor, S; Safra, S; Shapiro, E

Flat Concurrent Prolog is a simple, practical, concurrent programming language which has an efficient uniprocessor implementation. This paper describes an initial parallel implementation of the language; it consists of an interpreter implemented on an Intel iPSC Hypercube. The parallel execution of concurrent logic programming languages involves many nontrivial implementation problems. Some of these problems are well known and have been treated extensively in the literature. The most difficult task is to integrate problem solutions in a coherent and efficient manner. The algorithm presented has been useful in providing insights into the major problems and includes a number of novel ideas to simplify implementation. It does not attempt to solve all the problems involved but rather provides a workable basis for current and future research. The algorithm is under ongoing refinement, simplification and improvement.

• Research Organization: Weizmann Institute of Science, Rehovot (Israel)
• OSTI ID: 5332222
• Journal Information: Int. J. Parallel Program.; (United States), Journal Name: Int. J. Parallel Program.; (United States) Vol. 15:3; ISSN IJPPE
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS
990210* -- Supercomputers-- (1987-1989)
ALGORITHMS
ARRAY PROCESSORS
COMMUNICATIONS
COMPUTER ARCHITECTURE
COMPUTER CODES
COMPUTERS
DATA PROCESSING
DATA TRANSMISSION
DIGITAL COMPUTERS
DISTRIBUTED DATA PROCESSING
EFFICIENCY
EXECUTIVE CODES
IMPLEMENTATION
MATHEMATICAL LOGIC
PARALLEL PROCESSING
PERFORMANCE
PROCESSING
PROGRAMMING
PROGRAMMING LANGUAGES
PROLOG
SUPERCOMPUTERS
TASK SCHEDULING
TRANSLATORS