Expand RDF prefixes.
Backward chaining.

* [RDF_BACK,NEW] Rewrote RDF backward chaining. This requires rules that are different from forward chaining.
* [RDF_NAME,SC] rdf_triple_name//[3,4] -> [1,2].