/prolog/problems/sets/is_superset_2/