OR-parallel execution of Prolog on a multi-sequential machine Khayri A. M. Ali OriginalPaper Pages: 189 - 214
Primitives for resource management in a demand-driven reduction model Bharat JayaramanRobert M. Keller OriginalPaper Pages: 215 - 244
A parallel implementation of Flat Concurrent Prolog Stephen TaylorShmuel SafraEhud Shapiro OriginalPaper Pages: 245 - 275