name = 'is_subset/2' slug = 'check if one set is a subset of another' description = '''\
is_subset(S1, S2)
: the set S1
is a subset of S2
.
?- 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.''' hint = {}