prolog/problems/sets/is_superset_2/common.py


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

# coding=utf-8

id = 131
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).
'''