Noriyoshi Ito Hajime Shimizu Masasuke Kishi Eiji Kuno Kazuaki Rokusawa Data-flow Based Execution Mechanisms of Parallel and Concurrent Prolog. 15-41 1985 3 New Generation Comput. 1 db/journals/ngc/ngc3.html#ItoSKKR85