[ library(tentative) | Reference Manual | Alphabetic Index ]
vs_member(+VS, -X)
Succeed for each element of a varset
- VS
- A varset
- X
- A variable (output)
Description
Backtrack over all elements of a varset.
Modes and Determinism
- vs_member(+, -) is nondet
See Also
vs_create / 2, vs_element / 3, vs_all / 2, vs_random / 2