Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!).

Paul Tarau

Browse the full POPL paper archive.