# coding=utf-8

id = 131
group = 'sets'
number = 38
visible = True
facts = None

solution = '''\
memb131(X, [X|_]).
memb131(X, [_|T]) :-
  memb131(X, T).

is_superset(_, []).
is_superset(S1, [H|T]) :-
  memb131(H, S1),
  is_superset(S1, T).
'''