/prolog/problems/sets/is_subset_2/