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

Paul Tarau Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!). 55-64 2011 DAMP http://doi.acm.org/10.1145/1926354.1926364 conf/popl/2011damp db/conf/popl/damp2011.html#Tarau11