[ library(conjunto) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# list2set(+List, ?Svar)

Transforms a ground list List into a ground set Svar.

+List
  A ground list.
?Svar
  A free variable or a ground set.

## Description

This predicate forces Svar to be the ground set associated with the ground list List. Svar can be a free variable or a ground set.

### Fail Conditions

Fails if List is not ground or if Svar is ground and different from the computed set.

### Resatisfiable

No.

## Examples

    [eclipse 5]: L = [1,3,2,6,4], list2set(L, S).

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

## See Also

set2list / 2