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-[]]