[ library(conjunto) | 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