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