JOURNAL ARTICLE

Compiling prolog programs for parallel execution on a cellular machine

Abstract

This paper investigates features of a PROLOG compiler for Mago's cellular machine. The compiler generates parallel FFP (Formal Functional Programming) code. Hence high efficiency in the execution of PROLOG programs can be achieved on this machine, owing to the almost unbounded parallelism it can accommodate.

Keywords:
Prolog Computer science Programming language Parallel computing

Metrics

5
Cited By
1.78
FWCI (Field Weighted Citation Impact)
33
Refs
0.85
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Topics

Parallel Computing and Optimization Techniques
Physical Sciences →  Computer Science →  Hardware and Architecture
Algorithms and Data Compression
Physical Sciences →  Computer Science →  Artificial Intelligence
Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

JOURNAL ARTICLE

Parallel execution of prolog programs

Gopal GuptaEnrico PontelliKhayri A. M. AliMats CarlssonManuel V. Hermenegildo

Journal:   ACM Transactions on Programming Languages and Systems Year: 2001 Vol: 23 (4)Pages: 472-602
JOURNAL ARTICLE

Compiling lisp programs for parallel execution

James R. Larus

Journal:   LISP and Symbolic Computation Year: 1991 Vol: 4 (1)Pages: 29-99
JOURNAL ARTICLE

Compiling machine-independent parallel programs

Michæl PhilippsenErnst A. HeinzPaul Lukowicz

Journal:   ACM SIGPLAN Notices Year: 1993 Vol: 28 (8)Pages: 99-108
JOURNAL ARTICLE

OR parallel execution of Prolog programs with side effects

Laxmikant V. KaléDavid PaduaDavid Sehr

Journal:   The Journal of Supercomputing Year: 1988 Vol: 2 (2)Pages: 209-223
© 2026 ScienceGate Book Chapters — All rights reserved.