amalgame/commit

REMOVED: unused http:convert_parameter(uri, In, URI)

authorJacco van Ossenbruggen
Fri Mar 27 15:36:58 2020 +0100
committerJacco van Ossenbruggen
Fri Mar 27 15:36:58 2020 +0100
commit5406f0855627a8812e6a1be94dfc97948da946f5
tree10d53abd5c8ec83c9b7b9e4627835a481a4c6659
parent68a5a69ae46236008c81627372cf0dd38b2e9bdc
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.