
vs_member(+VS, -X)

   Succeed for each element of a varset

Arguments
   VS                  A varset
   X                   A variable (output)

Type
   library(tentative)

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
