 [nondet]rdf_length(+RDFList, 
-Length:nonneg)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.
[nondet]rdf_length(+RDFList, 
-Length:nonneg)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.