add_vertices/4

add_vertices(+ Graph, + Vertices, - NewGraph)*

Unify NewGraph with a new graph obtained by adding the list of vertices Vertices to the graph Graph. In the next example:


 ?- add_vertices([1-[3,5],2-[4],3-[],4-[5],
 5-[],6-[],7-[],8-[]],
 [0,2,9,10,11],
 NG).

 NG = [0-[],1-[3,5],2-[4],3-[],4-[5],5-[],
 6-[],7-[],8-[],9-[],10-[],11-[]]