edges/3¶

edges(+ Graph, - Edges)*

Unify Edges with all edges 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]