A Highly Parallel Prolog Interpreter Based on the Generalized Data Flow Model.

Pter Kacsuk

Browse the full ICLP paper archive.