A Scalable Abstract Machine Model to Support Limited-OR (LOR) / Restricted-AND Parallelism (RAP) in Logic Programs.

Prasenjit Biswas, Shyh-Chang Su, David Y. Y. Yun

Browse the full ICLP paper archive.