Logic Programming Environments with Advanced Parallelism - João Pedro Barreiros Nunes dos Santos (2016)