# coding=utf-8

id = 132
group = 'sets'
number = 39
visible = True
facts = None

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

is_subset([], _).
is_subset([H|T], S2) :-
  memb132(H, S2),
  is_subset(T, S2).
'''