[ 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