A parallel Prolog: The construction of a data driven model

ABSTRACT

An argument is presented for the implementation of a Prolog-like language using data driven execution, as a step towards the solution of the problems associated with multiprocessor machine architectures. To facilitate this, a number of changes and extensions to the execution control mechanism of Prolog have been implemented. Among the notable features of the system are the use of conditional AND (CAND) and conditional OR (COR) constructs to allow the programmer sequential control in the context of a parallel execution system, and mechanisms supporting dataflow execution within groups of parallel literals. A tentative solution proposed for the evaluation of negative literals is also being investigated.

REFERENCES

• 1: Adams, Duane S. A Model for Parallel Computations Parallel Processor Systems, Technologies and Applications L. C. Hobbs et. al. (Eds) pp. 311-333 Spartan Books 1970
• 2: Arvind and Kim P. Gostelow A Computer Capable of Exchanging Processors for Time Information Processing 77 (IFIP) pp. 849-853
• 3: Arvind, Kim P. Gostelow and Wil Plouffe An Asynchronous Programming Language and Computing Machine University of California, Irvine DCS Report 114A Dec 8, 1978
• 4: Boyer, R.S. and J.S. Moore A Sharing of Structure in Theorem Proving Programs Machine Intelligence 7, pp. 101-116 B. Meltzer and D. Michie (Eds) Edinburgh University Press 1972
• 5: Clark, Keith L. Negation as Failure Logic and Data Bases pp. 293-322 Herve Gallaire and Jack Minker (Eds) Plenum Press 1978
• 6: Clark, K.L. and F.G. McCabe The Control Facilities of IC-PROLOG Expert Systems in the Micro Electronic Age D. Michie (Ed) pp. 122-149 Edinburgh University Press 1979
• 7: Clark, K.L. and S. Gregory A Relational Language for Parallel Programming Internal Report, Imperial College, London March 1981
• 8: Dahl, Veronica Two Solutions for the Negation Problem Logic Programming Workshop pp. 61-72 Sten-Ake Tarnlund (Ed) Debrecen, Hungary 14-16 July 1980
• 9: J. B. Dennis, First version of a data flow procedure language, Programming Symposium, Proceedings Colloque sur la Programmation, p.362-376, April 09-11, 1974
• 10: Dennis, Jack B. The Varieties of Data Flow Computers First Conference on Distributed Computing Systems, 1979 pp. 430-439
• 11: Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
• 12: Hewitt, Carl Viewing Control Structures as Patterns of Passing Messages Artificial Intelligence V.8 N.3 June 1977 pp.323-364
• 13: Hoare, C.A.R. Recursive Data Structures International Journal of Computer and Information Sciences, V.4 N.2, 1975 pp. 105-132
• 14: Edward Paul Katz, A realization of relational semantics in an automatic programming system., 1978
• 15: Robert Kowalski, Algorithm = logic + control, Communications of the ACM, v.22 n.7, p.424-436, July 1979 [doi>10.1145/359131.359136]
• 16: Robert Kowalski, Logic for problem-solving, North-Holland Publishing Co., Amsterdam, The Netherlands, 1986
• 17: Drew McDermott, The prolog phenomenon, ACM SIGART Bulletin [doi>10.1145/1056447.1056448]
• 18: McGraw, James R. Data Flow Computing: Software Development First Conference on Distributed Computing Systems, 1979 pp. 242-251
• 19: McSkimin, James R. and Jack Minker The Use of a Semantic Network in a Deductive Question Answering System International Joint Conference on Artificial Intelligence, 1977 pp. 50-58
• 20: Morris, Paul H. A Dataflow Interpreter for Logic Programs Logic Programming Workshop pp. 148-159 Sten-Ake Tarnlund (Ed) Debrecen, Hungary 14-16 July 1980
• 21: Nils J. Nilsson, Problem-Solving Methods in Artificial Intelligence, McGraw-Hill Pub. Co., 1971
• 22: James L. Peterson, Petri Nets, ACM Computing Surveys (CSUR), v.9 n.3, p.223-252, Sept. 1977 [doi>10.1145/356698.356702]
• 23: Reiter, Raymond On Closed World Data Bases Logic and Data Bases, pp. 55-76 Herve Gallaire and Jack Minker (Eds) Plenum Press 1978
• 24: Robinson, J. A. Logic: Form and Function Edinburgh University Press 1979
• 25: Tesler, L.G. and H.J. Enea A Language Design for Concurrent Processes Sprint Joint Computer Conference, 1968, pp. 403-408
• 26: van Emden, M.H. Programming with Resolution Logic Machine Intelligence 8, pp. 266-299 E.W. Elcock and Donald Michie (Eds) Ellis Horwood 1972
• 27: van Emden, M.H. McDermott on PROLOG: A Rejoinder letter to SIGART Newsletter N.73, Oct 1980, pp. 19-20
• 28: Warren, D.H.D. Implementing Prolog - Compiling Predicate Logic Programs D.A.I. Research Reports 39, 40 University of Edinburgh, 1977
• 29: Warren, David H.D. Logic Programming and Compiler Writing Software - Practice and Experience, V. 10 1980, pp. 97-125
• 30: Yonezawa, A. and C. Hewitt Modelling Distributed Systems Machine Intelligence 9, pp. 41-50

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Prolog

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features

General Terms:
Languages