Did you know ... | Search Documentation: |
Pack sparqlprog -- prolog/sparql_dcg.pl |
sparql_goal ---> (sparql_goal, sparql_goal) % conjunction ; (sparql_goal; sparql_goal) % disjunction ; rdf(resource,resource,object) ; filter(cond) . resource :< object. % any resource is an object literal(+literal) :: object. % any ground literal is an object atomic :< literal. % any atomic can be a plain literal lang(atom,atom) :: literal. % literal with language type(resource,atom) :: literal. % typed literal object :< expr. % any object is an expr number :< expr. % Prolog numerical values can also be expressions condition ---> (cond , cond) ; (cond ; cond) ; \+ cond ; expr == expr ; expr \= expr ; expr >= expr ; expr =< expr ; expr < expr ; expr > expr ; between(expr,expr,expr) ; in(object,list(object)) ; regex(pattern,value) ; bound(object) ; blank(resource) ; uri(object) ; literal(object) . expr ---> expr + expr ; expr - expr ; expr * expr ; expr / expr ; +expr ; -expr ; str(expr) ; lang(expr) ; datatype(expr) . var ---> '$VAR'(integer) ; '@' % anonymous blank node ; '@'(atom) % nonymous blank node . var :< resource var :< literal
Samer Abdallah, Dept. of Computer Science, UCL (2014)
The following predicates are exported, but not or incorrectly documented.