reachable(+ Node, + Graph, - Vertices)*
Unify Vertices with the set of all vertices in graph Graph that are reachable from Node. In the next example:
?- reachable(1,[1-[3,5],2-[4],3-[],4-[5],5-[]],V). V = [1,3,5]