[det]uri_iri(+URI,
-IRI)
[det]uri_iri(-URI,
+IRI)Convert between a URI, encoded in US-ASCII and an IRI.
An IRI is a fully expanded Unicode string. Unicode strings
are first encoded into UTF-8, after which %-encoding takes place.
- Errors
syntax_error(Culprit) in mode (+,-) if URI is
not a legally percent-encoded UTF-8 string.