Solved prolog 'supertask'