Abstract
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.
Currently supported by CEE Biotechnology Action Programme
Supported as research associate by the Belgian National Fund For Scientific Research
Currently at BIM, Kwikstraat 4, B 3078 Everberg
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Bowen, D. L., Implementation of Data Structures on a Data Flow Computer, Ph. D. thesis, University of Manchester, April 1981
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
Catto, A. J., Nondeterministic Programming in a Dataflow Environment, Ph. D. thesis, University of Manchester, june 1981.
Catto, A. J. and J. R. Gurd, Nondeterministic Dataflow Graphs, IFIP 1980, p. 251–256.
Conery J. S., Parallel execution of logic programs, Kluwer Academic Publishers, 1987
Drabent, W., Do logic programs resemble programs in conventional languages? Proc. Fourth IEEE Symposium on Logic Programming, San Francisco, september 1987
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–52
Kirkham, C. C., The Manchester Prototype Dataflow System, Basic Programming Manual, November 1984
Lam, Melissa and Steve Gregory, PARLOG and ALICE: a Marriage of Convenience, Proc. Fourth International Conference on Logic Programming, Melbourne, p.294–310
Sargeant, J., Simulator Users Guide, University of Manchester, january 1985
Veen, A. H., Dataflow machine architecture, ACM Computing Surveys, Vol. 18, No 4 (december 1986), p. 365–396
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.
Wise, M. J., Prolog multiprocessors, Prentice-Hall, 1986
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weemeeuw, P., Bruynooghe, M., De Hondt, M., Leuven, K.U. (1988). On implementing logic programming languages on a dataflow architecture. In: Ganzinger, H. (eds) ESOP '88. ESOP 1988. Lecture Notes in Computer Science, vol 300. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19027-9_24
Download citation
DOI: https://doi.org/10.1007/3-540-19027-9_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19027-1
Online ISBN: 978-3-540-38941-5
eBook Packages: Springer Book Archive