A.37 library(ugraphs): Unweighted Graphs
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(ugraphs)).(can be autoloaded)
Sourcetransitive_closure(+Graph, -Closure)
Generate the graph Closure as the transitive closure of Graph. Example: 
 ?- transitive_closure([1-[2,3],2-[4,5],4-[6]],L).
L = [1-[2,3,4,5,6], 2-[4,5,6], 4-[6]]
ClioPatria (version V3.1.1-21-gb8003bb)