vertices/3¶
vertices(+ Graph, - Vertices)*
Unify Vertices with all vertices appearing in graph Graph. In the next example:
?- vertices([1-[3,5],2-[4],3-[],4-[5],5-[]], V).
L = [1,2,3,4,5]
vertices(+ Graph, - Vertices)*
Unify Vertices with all vertices appearing in graph Graph. In the next example:
?- vertices([1-[3,5],2-[4],3-[],4-[5],5-[]], V).
L = [1,2,3,4,5]