summaryrefslogtreecommitdiff
path: root/prolog/problems/sets/is_superset_2/sl.py
blob: f8b4a5c3a0fa0647543c5f6b0d91437cf20bd4a8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
name = 'is_superset/2'
slug = 'Preveri, če je prva množica nadmnožica od druge'

description = '''\
<p><code>is_superset(S1, S2)</code>: množica <code>S1</code> je nadmnožica (vsebuje vse elemente) od <code>S2</code>.</p>
<pre>
?- is_superset([3,2,1,4,5,9], [2,1,3,5]).
  true.
?- is_superset([3,2,1,4,5,9], [2,1,3,5,0]).
  false.
</pre>'''

hint = {}