An OR-Parallel Execution Algorithm for PROLOG and Its FCP Implementation.

Ehud Shapiro

Browse the full ICLP paper archive.