- library
- semweb
- rdf_db.pl -- Core RDF database
- rdf_cache.pl -- Cache RDF triples
- rdfs.pl -- RDFS handling
- rdf_persistency.pl -- RDF persistency plugin
- rdf_litindex.pl -- Search literals
- rdf_ntriples.pl -- Process files in the RDF N-Triples format
- rdf11.pl -- RDF 1.1 API
- rdf/3
- rdf/4
- rdf_has/3
- rdf_has/4
- rdf_update/4
- rdf_update/5
- rdf_reachable/3
- rdf_reachable/5
- rdf_assert/3
- rdf_assert/4
- rdf_retractall/3
- rdf_retractall/4
- rdf_compare/3
- {}/1
- rdf_where/1
- rdf_default_graph/1
- rdf_default_graph/2
- rdf_canonical_literal/2
- rdf_lexical_form/2
- rdf_term/1
- rdf_literal/1
- rdf_bnode/1
- rdf_iri/1
- rdf_name/1
- rdf_subject/1
- rdf_predicate/1
- rdf_object/1
- rdf_node/1
- rdf_create_bnode/1
- rdf_is_iri/1
- rdf_is_bnode/1
- rdf_is_literal/1
- rdf_is_name/1
- rdf_is_object/1
- rdf_is_predicate/1
- rdf_is_subject/1
- rdf_is_term/1
- rdf_list/1
- rdf_list/2
- rdf_length/2
- rdf_member/2
- rdf_nextto/2
- rdf_nextto/3
- rdf_nth0/3
- rdf_nth1/3
- rdf_last/2
- rdf_estimate_complexity/4
- rdf_assert_list/2
- rdf_assert_list/3
- rdf_retract_list/1
- sparql_client.pl -- SPARQL client library
- turtle.pl -- Turtle: Terse RDF Triple Language
- rdf_turtle_write.pl -- Turtle - Terse RDF Triple Language writer
- rdf_http_plugin.pl -- RDF HTTP Plugin
- rdf_library.pl -- RDF Library Manager
- rdf_zlib_plugin.pl -- RDF compressed-data plugin
- semweb
- {}(+Where) is semidet
- rdf_where(+Where) is semidet
- Formulate constraints on RDF terms, notably literals. These are
intended to be used as illustrated below. RDF constraints are
pure: they may be placed before, after or inside a graph pattern
and, provided the code contains no commit operations (!, ->),
the semantics of the goal remains the same. Preferably,
constraints are placed before the graph pattern as they often
help the RDF database to exploit its literal indexes. In the
example below, the database can choose between using the subject
and/or predicate hash or the ordered literal table.
{ Date >= "2000-01-01"^^xsd:dateTime }, rdf(S, P, Date)The following constraints are currently defined:
- >,>=,==,=<,<
- The comparison operators are defined between numbers (of any recognised type), typed literals of the same type and langStrings of the same language.
- prefix(String, Pattern)
- substring(String, Pattern)
- word(String, Pattern)
- like(String, Pattern)
- icase(String, Pattern)
- Text matching operators that act on both typed literals and langStrings.
- lang_matches(Term, Pattern)
- Demands a full RDF term (Text@Lang) or a plain Lang term to match the language pattern Pattern.
The predicates rdf_where/1 and {}/1 are identical. The rdf_where/1 variant is provided to avoid ambiguity in applications where {}/1 is used for other purposes. Note that it is also possible to write
rdf11:{...}.