/prolog/problems/sets/union_3/