undgraph_vertices/3

undgraph_vertices(+ Graph, - Vertices)*

Unify Vertices with all vertices appearing in graph Graph.