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

Availability::- use_module(library(ugraphs)).(can be autoloaded)
Sourcereachable(+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]

ClioPatria (version no GIT?)