A.56 library(ugraphs): Graph manipulation library
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(ugraphs)).(can be autoloaded)
Sourceadd_vertices(+Graph, +Vertices, -NewGraph)
Unify NewGraph with a new graph obtained by adding the list of Vertices to Graph. Example: 
?- add_vertices([1-[3,5],2-[]], [0,1,2,9], NG).
NG = [0-[], 1-[3,5], 2-[], 9-[]]