rdf11:rdf_list/1

SWI-Prolog Did You Know Did you know? SWI-Prolog can lazily parse a file

Search Documentation:

Predicate rdf_list/1

rdf_list(?RDFTerm) is semidet: True if RDFTerm is a proper RDF list. This implies that every node in the list has an rdf:first and rdf:rest property and the list ends in rdf:nil.
If RDFTerm is unbound, RDFTerm is bound to each maximal RDF list. An RDF list is maximal if there is no triple rdf(_, rdf:rest, RDFList).