3.2 library(semweb/rdf11_containers): RDF 1.1 Containers
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
    • Packages
      • SWI-Prolog Semantic Web Library 3.0
        • Two RDF APIs
          • library(semweb/rdf11_containers): RDF 1.1 Containers
            • rdf_alt/3
            • rdf_assert_alt/3
            • rdf_assert_alt/4
            • rdf_bag/2
            • rdf_assert_bag/2
            • rdf_assert_bag/3
            • rdf_seq/2
            • rdf_assert_seq/2
            • rdf_assert_seq/3
            • rdfs_container/2
            • rdfs_container_membership_property/1
            • rdfs_container_membership_property/2
            • rdfs_member/2
            • rdfs_nth0/3
Availability::- use_module(library(semweb/rdf11_containers)).
[nondet]rdf_seq(+Seq, -List:list)
True when Seq is an instance of rdf:Seq and List is a list of associated values, ordered according to the container membership property used.

Notice that this construct adds no machine-processable semantics but is conventionally used to indicate to a human reader that the numerical ordering of the container membership properties of Container is intended to be significant.