Global Logic Programming School Task 2