- rdf_length(+RDFList, -Length:nonneg) is nondet
- True when Length is the number of cells in RDFList. Note that a
list cell may have multiple rdf:rest triples, which makes this
predicate non-deterministic. This predicate does not check
whether the list cells have associated values (rdf:first). The
list must end in rdf:nil.