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

set2list(+Svar, ?List)

Transforms a ground set Svar into a list of ordered elements List.
A ground set.
Term unifying with a list of ground values.


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.




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

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

See Also

list2set / 2