On implementing logic programming languages on a dataflow architecture

  • Patrick Weemeeuw
  • Maurice Bruynooghe
  • Marleen De Hondt
  • K. U. Leuven
5. Implementation Of Programming Languages
Part of the Lecture Notes in Computer Science book series (LNCS, volume 300)


An implementation scheme for a logic programming language on the Manchester Dataflow Computer is presented. The Manchester Dataflow Computer is a parallel data-driven computer based on the tagged-token model. The logic programming language is derived from PROLOG, with addition of modes and types. The cut operator has been replaced by guards. The implementation scheme supports OR-parallel evaluation of don't-know and don't-care non determinism.


Logic Program Implementation Scheme Input Port Garbage Collection Matching Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. — [Bowen 81]
    Bowen, D. L., Implementation of Data Structures on a Data Flow Computer, Ph. D. thesis, University of Manchester, April 1981Google Scholar
  2. — [Bruynooghe et al. 87]
    Bruynooghe, M., G. Janssens, A. Callebaut and B. Demoen, Abstract interpretation, towards the global optimisation of Prolog programs, Proc. Fourth IEEE Symposium on Logic Programming, San Francisco, september 1987 Google Scholar
  3. — [Catto 81]
    Catto, A. J., Nondeterministic Programming in a Dataflow Environment, Ph. D. thesis, University of Manchester, june 1981.Google Scholar
  4. — [Catto & Gurd 80]
    Catto, A. J. and J. R. Gurd, Nondeterministic Dataflow Graphs, IFIP 1980, p. 251–256.Google Scholar
  5. — [Conery 87]
    Conery J. S., Parallel execution of logic programs, Kluwer Academic Publishers, 1987Google Scholar
  6. — [Drabent 87]
    Drabent, W., Do logic programs resemble programs in conventional languages? Proc. Fourth IEEE Symposium on Logic Programming, San Francisco, september 1987 Google Scholar
  7. — [Gurd et al. 85]
    Gurd, J. R., Kirkham C. C. and Watson I., The Manchester Prototype Dataflow Computer, Communications of the ACM, January 1985 Volume 28 Number 1, 34–52Google Scholar
  8. — [Kirkham 84]
    Kirkham, C. C., The Manchester Prototype Dataflow System, Basic Programming Manual, November 1984Google Scholar
  9. — [Lam & Gregory 87]
    Lam, Melissa and Steve Gregory, PARLOG and ALICE: a Marriage of Convenience, Proc. Fourth International Conference on Logic Programming, Melbourne, p.294–310Google Scholar
  10. — [Sargeant 85]
    Sargeant, J., Simulator Users Guide, University of Manchester, january 1985Google Scholar
  11. — [Veen 86]
    Veen, A. H., Dataflow machine architecture, ACM Computing Surveys, Vol. 18, No 4 (december 1986), p. 365–396Google Scholar
  12. — [Warren 87]
    Warren, D. H. D., Or-Parallel Execution Models of Prolog, TAPSOFT 87: Proceedings of the international joint conference on theory and practice of software development, Pisa, Italy, March 87, Lecture Notes in Computer Science 250, p. 243–259.Google Scholar
  13. — [Wise 86]
    Wise, M. J., Prolog multiprocessors, Prentice-Hall, 1986Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Patrick Weemeeuw
  • Maurice Bruynooghe
  • Marleen De Hondt
  • K. U. Leuven
    • 1
  1. 1.Department of Computer ScienceHeverleeBelgium

Personalised recommendations