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

id = 132
name = 'is_subset/2'
slug = 'check if one set is a subset of another'

description = '''\
<p><code>is_subset(S1, S2)</code>: the set <code>S1</code> is a subset of <code>S2</code>.</p>
<pre>
  ?- is_subset([2,1,3,5,0], [3,2,1,4,5,9]).
    false.
  ?- is_subset([2,1,3,5], [3,2,1,4,5,9]).
    true.
</pre>'''

hint = {}