Cut and side-effects in a data-driven implementation of Prolog | 0 | 0.34 | 1994 |
Scheduling in or-parallel Prolog systems: Survey and open problems. | 5 | 0.43 | 1991 |
The Aurora or-parallel Prolog system | 177 | 9.23 | 1990 |
Parallel implementations of Prolog | 0 | 0.34 | 1990 |
Cut and Side-Effects in Or-Parallel Prolog | 23 | 1.91 | 1988 |
OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors | 29 | 4.29 | 1987 |
Performance Evaluation of a Storage Model for OR--Parallel Execution of Logic Programs | 8 | 0.81 | 1986 |
Execution of Bagof on the Or-Parallel Token Machine | 7 | 0.67 | 1984 |
Control of Activities in the Or-Parallel Token Machine | 16 | 1.76 | 1984 |
An Or-Parallel Token Machine. | 1 | 0.43 | 1983 |
Control of Activities in the Or-Parallel Token Machine (Abstract). | 0 | 0.34 | 1983 |
Connecting a minicomputer to an X.25 network: a case study | 0 | 0.34 | 1983 |
A Formal Model for Or-Parallel Execution of Logic Programs | 27 | 4.03 | 1983 |