Abstract Multi-core and highly connected architectures have become ubiquitous, this has brought renewed interest in language-based approaches to the exploitation of parallelism. Since its inception, logic programming been recognized as a paradigm with great potential for automated The comprehensive survey first twenty years research parallel programming, published 2001, served since fundamental...