dgraph_transitive_closure(+ Graph, - Closure)*
Unify Closure with the transitive closure of graph Graph.