On implementing logic programming-languages on a dataflow architecture

© 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.status: publishe