
set2list(+Svar, ?List)

   Transforms a ground set Svar into a list of ordered elements List.



Arguments
   +Svar               A ground set.
   ?List               Term unifying with a list of ground values.

Type
   library(conjunto)

Description
   This predicate forces List to be the list of ordered elements associated
   to the ground set Svar.  List can be a free variable or a ground term.
   This predicate is convenient when iterations over set elements are
   required.




Fail Conditions
      Fails if Svar is not ground or if List is ground and different from the
   computed list.



Resatisfiable
      No.

Examples
   
[eclipse 3]: S = {1,4,2,6,2,7}, set2list(S, L).

S = {1, 2, 4, 6, 7}
L = [1, 2, 4, 6, 7]
yes.





See Also
   list2set / 2
