Exploiting Dependent And-Parallelism in Prolog: The Dynamic Dependent And-Parallel Scheme (DDAS).

Kish Shen

Browse the full ICLP paper archive.