On implementing logic programming-languages on a dataflow architecture

Weemeeuw, Patrick; Bruynooghe, Maurice; De Hondt, Marleen; Ganzinger, Harald

doi:10.1007/3-540-19027-9_24

On implementing logic programming-languages on a dataflow architecture

Author:

Weemeeuw, Patrick

Bruynooghe, Maurice ; De Hondt, Marleen ; Ganzinger, Harald

Keywords:

Science & Technology, Technology, Computer Science, Software Engineering, Computer Science, Theory & Methods, Computer Science

Abstract:

© 1988, Springer-Verlag. 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.