Pack prolog_rdf -- prolog/rdf

rdf_atom_node(+Atom:atom, +Node:rdf_node) is semidet

rdf_atom_node(+Atom:atom, -Node:rdf_node) is det

rdf_atom_node(-Atom:atom, +Node:rdf_node) is det

Parses the given Atom in order to extract the encoded RDF node. The following syntactic forms are supported:

RDF nodes defined by the N-Triples 1.1 grammar (blank nodes, IRIs, and literals).
Turtle 1.1 prefix notation for IRIs.

rdf_atom_predicate(+Atom:atom, +Predicate:iri) is semidet

rdf_atom_predicate(+Atom:atom, -Predicate:iri) is det

rdf_atom_predicate(-Atom:atom, +Predicate:iri) is det

rdf_base_iri(+BaseIri:iri) is semidet

rdf_base_iri(-BaseIri:iri) is det

rdf_canonical_lexical_form(+Datatype:iri, +LexicalForm:atom, -CanonicaldLexicalForm:atom) is det

rdf_canonical_literal(+Literal:rdf_literal, -CanonicaldLiteral:rdf_literal) is det

rdf_container_membership_property(+Property:iri) is semidet

rdf_container_membership_property(-Property:iri) is multi

rdf_container_membership_property(+Property:iri, +Index:positive_integer) is semidet

rdf_container_membership_property(+Property:iri, -Index:positive_integer) is det

rdf_container_membership_property(-Property:iri, +Index:positive_integer) is det

rdf_container_membership_property(-Property:iri, -Index:positive_integer) is multi

Succeeds if P is the Nth container membership property.

rdf_create_iri(+Alias:atom, +TermOrTerms:or([term,list(term)]), -Iri:iri) is det

rdf_hash_iri(+Alias:atom, +Term:term, -Iri:iri) is det

rdf_is_bnode_iri(@Term) is semidet

rdf_is_name(@Term) is semidet

rdf_is_numeric_literal(@Term) is semidet

rdf_is_object(@Term) is semidet

rdf_is_skip_node(@Term) is semidet

rdf_is_term(@Term) is semidet

rdf_language_tagged_string(+LTag:atom, +LexicalForm:atom, -Literal:rdf_literal) is det

rdf_language_tagged_string(-LTag:atom, -LexicalForm:atom, +Literal:rdf_literal) is det

rdf_lexical_value(+Datatype:iri, +LexicalForm:atom, -Value:term) is det

rdf_lexical_value(+Datatype:iri, -LexicalForm:atom, +Value:term) is det

Translate between a value (`Value') and its serialization, according to a given datatype IRI (`Datatype'), into a lexical form (`LexicalForm').

rdf_literal(+Datatype:iri, +LTag:atom, +LexicalForm:atom, +Literal:rdf_literal) is semidet

rdf_literal(+Datatype:iri, +LTag:atom, +LexicalForm:atom, -Literal:rdf_literal) is det

rdf_literal(-Datatype:iri, -LTag:atom, -LexicalForm:atom, +Literal:rdf_literal) is det

Compose/decompose literals.

rdf_literal_datatype_iri(+Literal:rdf_literal, +Datatype:iri) is semidet

rdf_literal_datatype_iri(+Literal:rdf_literal, -Datatype:iri) is det

rdf_literal_dwim(+Dwim:term, +Literal:rdf_literal) is semidet

rdf_literal_dwim(+Dwim:term, -Literal:rdf_literal) is semidet

Allows literal terms to be created based on various simplified inputs:

Input format	Datatype IRI
-----------------------------+------------------------
`boolean(LexicalForm)`	xsd:boolean
`date(Y,Mo,Da)`	xsd:date
`date_time(Y,Mo,D,H,Mi,S)`	xsd:dateTime
`date_time(Y,Mo,D,H,Mi,S,TZ)`	xsd:dateTime
`day(Da)`	xsd:gDay
`decimal(N)`	xsd:decimal
`double(N)`	xsd:double
`duration(S)`	xsd:dayTimeDuration
`duration(Mo,S)`	xsd:duration
float	xsd:double
`float(N)`	xsd:float
integer	xsd:integer
`integer(N)`	xsd:integer
`literal(lang(LTag,Lex))`	rdf:langString
`literal(type(D,Lex))`	Datatype
`month(Mo)`	xsd:gMonth
`month_day(Mo,Da)`	xsd:gMonthDay
`nonneg(N)`	xsd:nonNegativeInteger
`oneof([false,true])`	xsd:boolean
`pair(string,list(atom))`	rdf:langString
`positive_integer(N)`	xsd:positiveInteger
string	xsd:string
`string(atom)`	xsd:string
`time(H,Mi,S)`	xsd:time
`uri(Uri)`	xsd:anyURI
`year(Y)`	xsd:gYear
`year_month(Y,Mo)`	xsd:gYearMonth
LexicalForm^^DatatypeIri	DatatypeIri
LexicalForm@LanguageTag	rdf:langstring

rdf_literal_lexical_form(+Literal:rdf_literal, +LexicalForm:atom) is semidet

rdf_literal_lexical_form(+Literal:rdf_literal, -LexicalForm:atom) is det

rdf_literal_value(+Literal:rdf_literal, -Value:term) is det

Notice that languages-tagged strings do not have a value.

rdf_literal_value(+Literal:rdf_literal, -Datatype:iri, -Value:term) is det

rdf_literal_value(-Literal:rdf_literal, +Datatype:iri, +Value:term) is det

rdf_node_dwim(+Dwim:term, +Node:rdf_node) is semidet

rdf_node_dwim(+Dwim:term, -Node:rdf_node) is semidet

Supports the Input formats of rdf_literal_dwim/2.

rdf_predicate_dwim(+Dwim:term, +Predicate:iri) is semidet

rdf_predicate_dwim(+Dwim:term, -Predicate:iri) is det

rdf_triple_term(+Triple:rdf_triple, +Term:rdf_term) is semidet

rdf_triple_term(+Triple:rdf_triple, -Term:rdf_term) is multi

rdf_typed_literal(+Datatype:iri, +LexicalForm:atom, +Literal:rdf_literal) is semidet

rdf_typed_literal(+Datatype:iri, +LexicalForm:atom, -Literal:rdf_literal) is det

rdf_typed_literal(-Datatype:iri, -LexicalForm:atom, +Literal:rdf_literal) is det

well_known_iri(-Iri:iri) is det

well_known_iri(+Segments:list(atom), +Iri:iri) is semidet

well_known_iri(+Segments:list(atom), -Iri:iri) is det

well_known_iri(-Segments:list(atom), +Iri:iri) is det

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.