del_vertices/4

unmark a set of vertices plus all edges leading to them.%

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

Unify NewGraph with a new graph obtained by deleting the list of vertices Vertices and all the edges that start from or go to a vertex in Vertices to the graph Graph. In the next example:


 ?- del_vertices([2,1],[1-[3,5],2-[4],3-[],
 4-[5],5-[],6-[],7-[2,6],8-[]],NL).

 NL = [3-[],4-[5],5-[],6-[],7-[6],8-[]]