
sparql.pl
sparql_query(+Query, -Reply, +Options)- Where Query is either a SPARQL query text or a parsed
query. Reply depends on the type of query:
SELECT row(Col1, Col2, ....)CONSTRUCT rdf(S,P,O)DESCRIBE rdf(S,P,O)ASK Reply == true or failure of pred Options are:
- entailment(Entailment)
- Specify the entailment module used. The default is
controlled by the setting
sparql:entailment. - base_uri(Base)
- Specify the base IRI to use for parsing the query
- type(-Type)
- Returns one of
select(-VarNames), construct, describe or ask. - ordered(-Bool)
- True if query contains an ORDER BY clause
- distinct(-Bool)
- True if query contains a DISTINCT clause
sparql_compile(+Query, -Compiled, +Options)- Performs the compilation pass of solving a SPARQL query. Splitting serves two purposes. The result of the compilation can be cached if desired and through Options we can get information about the parsed query.
sparql_run(+Compiled, -Reply) is nondet- Runs a compiled SPARQL query, returning the result incrementally on backtracking. Provided there are no errors in the SPARQL implementation the only errors this can produce are resource-related errors.