
make_sub_graph(+Graph, ++Nodes, -SubGraph)

   Creates a subgraph (projection on nodes) of a given graph

Arguments
   Graph               a graph structure
   Nodes               a list of node numbers
   SubGraph            will be bound to a graph structure

Type
   library(graph_algorithms)

Description

    Creates a sub-graph SubGraph of the original graph Graph. SubGraph has
    the same set of nodes as Graph, but only those edges that begin and end
    in the specified set of nodes Nodes.
    

Modes and Determinism
   make_sub_graph(+, ++, -) is det

See Also
   is_sub_graph / 2
