* [RDFS_PROOF,NEW] Added simple proof visualization routine. This shows that tree/graph visualization needs to be generalized for Prolog and RDF terms...
* [TREES,NEW] Added tree_depth/2.