[ library(ic_sets) | Reference Manual | Alphabetic Index ]

# ?Set1 subsetof ?Set2

Set1 is a (non-strict) subset of the integer set Set2

Set1
  a set, set variable, free variable or set expression
Set2
  a set, set variable or set expression

## Examples

        	?- X subset [1,2,3].
    	X = X{([] .. [1, 2, 3]) : _398{0 .. 3}}

    	?- X subsetof [1,2,3], Y subsetof X.
    	X = X{([] .. [1, 2, 3]) : _398{0 .. 3}}
    	Y = Y{([] .. [1, 2, 3]) : _531{0 .. 3}}

    	?- [1,2,3] subsetof Y.
    	instantiation fault