[ 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