rdf_list/1

Documentation
- Reference manual
- Packages
  - SWI-Prolog Semantic Web Library 3.0
    - Two RDF APIs
      - library(semweb/rdf11): The RDF database
        
        Accessing RDF collections
        
        rdf_last/2
        
        rdf_list/1
        
        rdf_list/2
        
        rdf_length/2
        
        rdf_member/2
        
        rdf_nth0/3
        
        rdf_nth1/3
        
        rdf_assert_list/2
        
        rdf_assert_list/3
        
        rdf_retract_list/1

Availability::- use_module(library(semweb/rdf11)).

[semidet]rdf_list(?RDFTerm)

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).