
potential_members(?Set, -List)

   List is the list of elements of whose membership in Set is currently uncertain

Arguments
   Set                 a set or set variable
   List                variable, will be unified with a list

Type
   library(ic_hybrid_sets)

Exceptions
     4 --- Set is a variable, but not a set variable

Examples
   
    	?- S :: [2,4]..[1,2,3,4,5], potential_members(S, P).
	S = S{[2, 4] \/ ([] .. [1, 3, 5]) : _{[2 .. 5]}}
	P = [1, 3, 5]
    


