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

set2list(+Svar, ?List)

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

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