amalgame/commit
REMOVED: unused http:convert_parameter(uri, In, URI)
author | Jacco van Ossenbruggen |
---|---|
Fri Mar 27 15:36:58 2020 +0100 | |
committer | Jacco van Ossenbruggen |
Fri Mar 27 15:36:58 2020 +0100 | |
commit | 5406f0855627a8812e6a1be94dfc97948da946f5 |
tree | 10d53abd5c8ec83c9b7b9e4627835a481a4c6659 |
parent | 68a5a69ae46236008c81627372cf0dd38b2e9bdc |
Diff style: patch stat
diff --git a/lib/amalgame/util.pl b/lib/amalgame/util.pl index da0ce62..35f4eb1 100644 --- a/lib/amalgame/util.pl +++ b/lib/amalgame/util.pl @@ -63,30 +63,6 @@ assert_user_provenance(R, Graph) :- rdf_assert(R, dcterms:date, Time^^xsd:dateTime, Graph). - - - - -%% http:convert_parameter(+Type, +In, -URI) is semidet. -% -% HTTP parameter conversion for the following types: -% -% * uri -% This conversion accepts NS:Local and absolute URIs. - -http:convert_parameter(uri, In, URI) :- - ( sub_atom(In, B, _, A, :), - sub_atom(In, _, A, 0, Local), - xml_name(Local) - -> ( (sub_atom(In, 0, B, _, NS), rdf_db:ns(NS,_)) - -> rdf_global_id(NS:Local, URI) - ; URI=In - ) - ; uri_is_global(In) - -> URI = In - ). - - %% now_xsd(-Text:atom) % % Text is the current time in xsd:dateTime format.