Scheduling of OR-parallel Prolog on a Scalable, Reconfigurable, Distributed-Memory Multiprocessor

COWL: Copy-On-Write for logic programs

“…The simplicity and good parallel speedups possible with copying have made it most popular form of exploiting Or-parallelism. Copying has also been used with good results for distributed ORP systems such as Opera [2].…”