[ 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