Parallel interpretation of logic programs

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Parallel interpretation of logic programs

Full text

Pdf (652 KB)

Source

Functional Programming Languages and Computer Architecture archive
Proceedings of the 1981 conference on Functional programming languages and computer architecture table of contents

Portsmouth, New Hampshire, United States

Pages: 163 - 170

Year of Publication: 1981

ISBN:0-89791-060-5

Authors

John S. Conery	Department of Information and Computer Science, University of California, Irvine
Dennis F. Kibler	Department of Information and Computer Science, University of California, Irvine

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
SIGOPS: ACM Special Interest Group on Operating Systems
MIT : Massachusetts Institute of Technology
SIGARCH: ACM Special Interest Group on Computer Architecture

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 18, Citation Count: 19

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/800223.806775 What is a DOI?

ABSTRACT

Logic programs offer many opportunities for parallelism. We present an abstract model that exploits the parallelism due to nondeterministic choices in a logic program. A working interpreter based on this model is described, along with variants of the basic model that are capable of exploiting other sources of parallelism. We conclude with a discussion of our plans for experimenting with the various models, plans which we hope will lead eventually to a multi-processor machine.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Clark, K. L., and G. McCabe. The Control Facilities of IC-Prolog. In D. Michie, Ed., Expert Systems in the Micro Electronic Age, Edinburgh University Press, 1979.
	2	Colmerauer, A. Les Grammaire de Metamorphose. Univ. d'Aix-Marseille, Groupe de IA, 1975.
	3	Kowalski, R. A. Predicate Logic as a Programming Language. Proc. IFIPS 74, 1974.
	4	Robert Kowalski, Logic for problem-solving, North-Holland Publishing Co., Amsterdam, The Netherlands, 1986
	5	Kowalski, R. A. Logic as a Computer Language. Proc. Infotech State of the Art Conference "Software Development: Management", June, 1980.
	6	Pereira, L. M., F. C. N. Pereira, and D. H. D. Warren. User's Guide to DECsystem-10 Prolog. Dept. of Artificial Intelligence, Univ. of Edinburgh, September, 1978. version 1.32
	7	Pereira, L. P. and A. Porto. Intelligent Backtracking and Sidetracking in Horn Clause Programs - the Theory, Report 2/79, Departamento de Informatica, Universidade Nova de Lisboa, October, 1979.
	8	Pereira, L. P. and A. Porto. An Interpreter of Logic Programs Using Selective Backtracking. Report 3/80, Departamento de Informatica, Universidade Nova de Lisboa, July, 1980.
	9	Roussel, P. Manuel de Reference et d'Utilisation. Univ. d'Aix-Marseille, Groupe de IA, 1975.
	10	van Emden, M. H. and G. J. de Lucena. Predicate Logic as a Language for Parallel Programming. In K. L. Clark and S. A. Tarnlund, Ed., Logic Programming, Academic Press, New York, 1981.
	11	David H D Warren , Luis M. Pereira , Fernando Pereira, Prolog - the language and its implementation compared with Lisp, ACM SIGPLAN Notices, v.12 n.8, p.109-115, August 1977
	12	D. H. D. Warren. Efficient Processing of Interactive Relational Database Queries Expressed in Logic. Dept. of Artificial Intelligence, Univ. of Edinburgh, September, 1981. Paper 156

CITED BY 19

	Alexis Koster, Compiling prolog programs for parallel execution on a cellular machine, Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge, p.167-178, January 1984
	Antonio Brogi , Paolo Ciancarini, The concurrent language, Shared Prolog, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.1, p.99-123, Jan. 1991
	Manuel Hermenegildo , German Puebla , Kim Marriott , Peter J. Stuckey, Incremental analysis of constraint logic programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.2, p.187-223, March 2000
	D. Sarma , C. P. Wu, Pipelined OR-parallelism architecture for parallel execution of Prolog, Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems, p.864-873, June 1990, Charleston, South Carolina, United States
	Kai-Hsiung Chang , William B. Day, Adaptive multiagent planning in a distributed environment, Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems, p.828-837, June 1990, Charleston, South Carolina, United States
	Hajime Miura , Masaharu Imai , Masafumi Yamashita , Toshihide Ibaraki, Implemention of parallel Prolog on tree machines, Proceedings of 1986 ACM Fall joint computer conference, p.287-296, November 1986, Dallas, Texas, United States
	Shunichi Uchida, Inference machine: From sequential to parallel, ACM SIGARCH Computer Architecture News, v.11 n.3, p.410-416, June 1983
	Keith Clark , Steve Gregory, PARLOG: parallel programming in logic, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.1, p.1-49, Jan. 1986
	E. E. Witte , R. D. Chamberlain , M. A. Franklin, Parallel Simulated Annealing using Speculative Computation, IEEE Transactions on Parallel and Distributed Systems, v.2 n.4, p.483-494, October 1991
	Gopal Gupta , Enrico Pontelli , Khayri A.M. Ali , Mats Carlsson , Manuel V. Hermenegildo, Parallel execution of prolog programs: a survey, ACM Transactions on Programming Languages and Systems (TOPLAS), v.23 n.4, p.472-602, July 2001
	Yasusi Kanada , K. Kojima , M. Sugaya, Vectorization techniques for prolog, Proceedings of the 2nd international conference on Supercomputing, p.539-549, June 1988, St. Malo, France
	Alexis Koster, PROLOG applications for database design with the information center, Proceedings of the 1985 ACM thirteenth annual conference on Computer Science, p.220-234, March 1985, New Orleans, Louisiana, United States
	Shinji Umeyama , Koichiro Tamura, A parallel execution model of logic programs, ACM SIGARCH Computer Architecture News, v.11 n.3, p.349-355, June 1983
	B Wah , G J Li, Survey on special purpose computer architectures for AI, ACM SIGART Bulletin
	J. Naganuma , T. Ogura, A Highly OR-Parallel Inference Machine (Multi-ASCA) and its Performance Evaluation: An Architecture and its Load Balancing Algorithms, IEEE Transactions on Computers, v.43 n.9, p.1062-1075, September 1994
	Bharat Jayaraman, Semantics of EqL, IEEE Transactions on Software Engineering, v.14 n.4, p.472-480, April 1988
	John S. Conery , Dennis F. Kibler, AND parallelism in logic programs, Proceedings of the Eighth international joint conference on Artificial intelligence, p.539-543, August 08-12, 1983, Karlsruhe, West Germany
	A. L. Davis , S. V. Robison, The architecture of the FAIM-1 symbolic multiprocessing system, Proceedings of the 9th international joint conference on Artificial intelligence, p.32-38, August 18-23, 1985, Los Angeles, California
	Dennis F. Kibler , John Conery, Parallelism in AI programs, Proceedings of the 9th international joint conference on Artificial intelligence, p.53-56, August 18-23, 1985, Los Angeles, California