A.60 library(ugraphs): Graph manipulation library
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(ugraphs): Graph manipulation library
vertices/2
vertices_edges_to_ugraph/3
add_vertices/3
del_vertices/3
add_edges/3
ugraph_union/3
del_edges/3
edges/2
transitive_closure/2
transpose_ugraph/2
compose/3
ugraph_layers/2
top_sort/2
neighbors/3
neighbours/3
connect_ugraph/3
complement/2
reachable/3
Packages
Availability:
:- use_module(
library(ugraphs)
).
(can be autoloaded)
reachable
(
+Vertex, +UGraph, -Vertices
)
True when
Vertices
is an ordered set of vertices reachable in
UGraph
, including
Vertex
. Example:
?- reachable(1,[1-[3,5],2-[4],3-[],4-[5],5-[]],V). V = [1, 3, 5]
reachable(+Vertex,
+UGraph, -Vertices)reachable(+Vertex,
+UGraph, -Vertices)