chore(docs): sync external documentation

Author: bot-anik

predicates/did/did_components_2.md

@@ -69,7 +69,7 @@ did_components(
 
 ```  yaml
 height: 42
-gas_used: 11918
+gas_used: 11932
 answer:
   has_more: false
   variables: ["Method", "MethodSpecificId", "Path", "Query", "Fragment"]
@@ -105,7 +105,7 @@ did_components(DID, did(example, '123456', '/foo/bar', 'versionId=1', test)).
 
 ```  yaml
 height: 42
-gas_used: 10800
+gas_used: 10814
 answer:
   has_more: false
   variables: ["DID"]
@@ -133,7 +133,7 @@ did_components(foo, Parsed).
 
 ```  yaml
 height: 42
-gas_used: 4301
+gas_used: 4315
 answer:
   has_more: false
   variables: ["Parsed"]
@@ -159,7 +159,7 @@ did_components(DID, did(example, '123456', 'path with/space', _, _)).
 
 ```  yaml
 height: 42
-gas_used: 6377
+gas_used: 6391
 answer:
   has_more: false
   variables: ["DID"]

predicates/stdlib/uri_encoded_3.md

@@ -1,5 +1,5 @@
 ---
-sidebar_position: 101
+sidebar_position: 100
 ---
 [//]: # (This file is auto-generated. Please do not modify it yourself.)
 

predicates/stdlib/write_term_3.md

@@ -0,0 +1,4 @@
+{
+  "label": "Uri library",
+  "position": 12
+}

predicates/uri/_category_.json

@@ -0,0 +1,92 @@
+---
+sidebar_position: 1
+---
+[//]: # (This file is auto-generated. Please do not modify it yourself.)
+
+# uri_encoded/3
+
+## Module
+
+This predicate is provided by `uri.pl`.
+
+Load this module before using the predicate:
+
+```prolog
+:- consult('/v1/lib/uri.pl').
+```
+
+## Description
+
+uri_encoded(+Component, -Value, +Encoded) is det.
+
+Encoded is the URI encoding for Value.
+
+Component specifies the URI component where the value is used. It is one of
+`query_value`, `fragment`, `path` or `segment`.
+
+Value and Encoded may be atoms, lists of characters, or lists of character
+codes. Generated values are returned as atoms.
+
+## Signature
+
+```text
+uri_encoded(+Component, +Value, -Encoded) is det
+```
+
+## Examples
+
+### Decode a raw path atom
+
+This scenario demonstrates how to decode a raw URI path into plain text.
+
+Here are the steps of the scenario:
+
+- **Given** the query:
+
+```  prolog
+consult('/v1/lib/uri.pl'),
+uri_encoded(path, Decoded, foo).
+```
+
+- **When** the query is run
+- **Then** the answer we get is:
+
+```  yaml
+height: 42
+gas_used: 4709
+answer:
+  has_more: false
+  variables: ["Decoded"]
+  results:
+  - substitutions:
+    - variable: Decoded
+      expression: "foo"
+```
+
+### Encode a query value with a space
+
+This scenario demonstrates how to percent-encode a query value.
+
+Here are the steps of the scenario:
+
+- **Given** the query:
+
+```  prolog
+consult('/v1/lib/uri.pl'),
+uri_encoded(query_value, 'foo bar', Encoded).
+```
+
+- **When** the query is run
+- **Then** the answer we get is:
+
+```  yaml
+height: 42
+gas_used: 5716
+answer:
+  has_more: false
+  variables: ["Encoded"]
+  results:
+  - substitutions:
+    - variable: Encoded
+      expression: "'foo%20bar'"
+```

predicates/uri/uri_encoded_3.md

@@ -1,4 +1,4 @@
 {
   "label": "Wasm library",
-  "position": 12
+  "position": 13
 }