Availability::- use_module(library(uri)).(can be autoloaded)
[semidet]uri_file_name(+URI,
-FileName)
[det]uri_file_name(-URI,
+FileName)Convert between a URI and a local file_name. This protocol is
covered by RFC 1738. Please note that file-URIs use absolute
paths. The mode (-, +) translates a possible relative path into an
absolute one.