|Did you know ...||Search Documentation:|
symmetricpredicate properties. The version rdf_reachable/5 maximizes the steps considered and returns the number of steps taken.
If both S and O are given, these predicates are
number of steps D is minimal because the implementation uses
breadth first search.