Automatic parallelization of Prolog programs
David C. Sehr · 1992
MACHINE : : : : : : : : : : : : : : : : : : : : : : 18 1.6 DATAFLOW AND DEPENDENCES : : : : : : : : : : : : : : : : : : : : : : : : 22 1.7 SOURCES OF PARALLELISM : : : : : : : : : : : : : : : : : : : : : : : : : : : : 31 2 OR PARALLEL EXECUTION OF PROLOG : : : : : : : : : : : : : : : : : : 33 2.1 TERMINOLOGY : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 34 2.2 OUTLINE : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 34 2.3 PURE GOALS AND SOFT SIDE-EFFECTS : : : : : : : : : : : : : : : : : : : : 34 2.4 PROCESSING CUT : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 38 2.5 PROCESSING ASSERTA, ASSERTZ AND RETRACT : : : : : : : : : : : : : : 42 2.6 IMPLEMENTATION AND PERFORMANCE : : : : : : : : : : : : : : : : : : : 47 2.7 SUMMARY : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 52 3 ESTIMATING INHERENT PARALLELISM : : : : : : : : : : : : : : : : : : 54 3.1 INTRODUCTION : : : : : : : : ...