summaryrefslogtreecommitdiff
path: root/prolog/problems/sets/subset_2/common.py
blob: 4cc2260914e05601abe60169c5b557cba97287bf (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
# coding=utf-8

id = 133
group = 'sets'
number = 40
visible = True
facts = None

solution = '''\
subset([], []).
subset([H|T], [H|T1]) :-
  subset(T, T1).
subset([_|T], T1) :-
  subset(T, T1).
'''