* [SC] Renamed 'proposition' -> 'triple'.
* [SC] Compound term rdf/3 for triple arguments.