An abstract model for parallel execution of prolog - Patinho, Pedro José Grilo Lopes (2017)