research-article

A Distributed Prolog System with And Parallelism

Authors:

Mike Carlton,

Peter Van RoyAuthors Info & Claims

IEEE Software, Volume 5, Issue 1

Pages 43 - 51

https://doi.org/10.1109/52.1993

Published: 01 January 1988 Publication History

Publisher Site

Abstract

Design details and benchmark results are given for a Prolog interpreter that can be executed across a network by using message passing to implement AND-parallelism. The system is simple and easy to use, yet significantly speeds up existing programs. The system hardware is a group of Sun 3/50 workstations connected to a 10-Mb/s Ethernet. The number of machines actually used by the system is determined when it is initialized. The benchmark programs to test the system are a Prolog compiler, a recursive Fibonacci program, an implementation of the standard quicksort algorithm, and a simple chess program.

References

[1]

1. W.F. Clocksin and C.S. Mellish, Programming in Prolog, Springer-Verlag, New York, 1981.

Digital Library

Google Scholar

[2]

2. J.S. Conery, "The And/Or Process Model for Parallel Interpretation of Logic Programs," Tech. Report 204, Computer Science Dept., Univ. of California, Irvine, Calif., June 1983.

Google Scholar

[3]

3. M. Hermenegildo, "'An Abstract-Machine-Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel," Tech. Report 86-20, Computer Science Dept., Univ. of Texas, Austin, Texas, Aug. 1986.

Crossref

Google Scholar

[4]

1. J.F. Shoch and J.A. Hupp, "The Worm Programs: Early Experience with a Distributed Computation, Comm. ACM, March 1982, pp. 172-180.

Digital Library

Google Scholar

[5]

2. B.W. Lampson and D.D. Redell, "Experience with Processes and Monitors in Mesa," Comm. ACM, Feb. 1980, pp. 105-117.

Crossref

Google Scholar

[6]

3. J.-H. Chang, "High-Performance Execution of Prolog Programs Based on a Static Data-Dependency Analysis," Tech. Report UCB/CSD 86/263, Computer Science Dept., Univ. of California, Berkeley, Calif., Oct. 1985.

Crossref

Google Scholar

[7]

4. P. Van Roy, "A Prolog Compiler for the PLM," Tech. Report UCB/CSD 84/203, Computer Science Dept., Univ. of California, Berkeley, Calif., Aug. 1984.

Crossref

Google Scholar

[8]

5. B. Fagin, A Parallel Execution Model for Prolog, doctoral dissertation, Computer Science Dept., Univ. of California, Berkeley, Calif., Aug. 1987.

Crossref

Google Scholar

Cited By

View all

Ju JXu GTao J(1993)Parallel computing using idle workstationsACM SIGOPS Operating Systems Review10.1145/155870.15588327:3(87-96)Online publication date: 1-Jul-1993
https://dl.acm.org/doi/10.1145/155870.155883
Agrawal VChakradhar S(1992)Performance Analysis of Synchronized Iterative Algorithms on Multiprocessor SystemsIEEE Transactions on Parallel and Distributed Systems10.1109/71.1806283:6(739-746)Online publication date: 1-Nov-1992
https://dl.acm.org/doi/10.1109/71.180628
Agrawal VChakradhar SPryor DMontry GMartin J(1990)Performance estimation in a massively parallel systemProceedings of the 1990 ACM/IEEE conference on Supercomputing10.5555/110382.110448(306-313)Online publication date: 12-Nov-1990
https://dl.acm.org/doi/10.5555/110382.110448

A Distributed Prolog System with And Parallelism
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages

Recommendations

On deriving data parallel code from a functional program
IPPS '95: Proceedings of the 9th International Symposium on Parallel Processing

We discuss a translation methodology for transforming a high level algorithmic specification written in ALPHA to an imperative data parallel language. We informally introduce the ALPHA language with the aid of an example and explain how it is adapted ...
Data-Parallel Programming on MIMD Computers

The implementation of two compilers for the data-parallel programming language Dataparallel C is described. One compiler generates code for Intel and nCUBE hypercube multicomputers; the other generates code for Sequent multiprocessors. A suite of ...
Using Prolog to implement a compiler for a parallel image processing language
ICIP '95: Proceedings of the 1995 International Conference on Image Processing (Vol. 1)-Volume 1 - Volume 1

This paper describes the use of Prolog as an implementation language for a compiler for a parallel image processing language. The target machine for which code is generated is an abstract model for parallel image processing. The structure of the final ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

IEEE Software Volume 5, Issue 1

January 1988

88 pages

ISSN:0740-7459

Issue’s Table of Contents

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 January 1988

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 01 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ju JXu GTao J(1993)Parallel computing using idle workstationsACM SIGOPS Operating Systems Review10.1145/155870.15588327:3(87-96)Online publication date: 1-Jul-1993
https://dl.acm.org/doi/10.1145/155870.155883
Agrawal VChakradhar S(1992)Performance Analysis of Synchronized Iterative Algorithms on Multiprocessor SystemsIEEE Transactions on Parallel and Distributed Systems10.1109/71.1806283:6(739-746)Online publication date: 1-Nov-1992
https://dl.acm.org/doi/10.1109/71.180628
Agrawal VChakradhar SPryor DMontry GMartin J(1990)Performance estimation in a massively parallel systemProceedings of the 1990 ACM/IEEE conference on Supercomputing10.5555/110382.110448(306-313)Online publication date: 12-Nov-1990
https://dl.acm.org/doi/10.5555/110382.110448

Abstract

References

Cited By

Recommendations

On deriving data parallel code from a functional program

Data-Parallel Programming on MIMD Computers

Using Prolog to implement a compiler for a parallel image processing language

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations