📜 Add v9.0.0 predicates documentation version

predicates_versioned_docs/version-v9.0.0/bank_balances_2.md

@@ -0,0 +1,34 @@
+---
+sidebar_position: 1
+---
+[//]: # (This file is auto-generated. Please do not modify it yourself.)
+
+# bank_balances/2
+
+## Description
+
+`bank_balances/2` is a predicate which unifies the given terms with the list of balances \(coins\) of the given account.
+
+The signature is as follows:
+
+```text
+bank_balances(?Account, ?Balances)
+```
+
+where:
+
+- Account represents the account address \(in Bech32 format\).
+- Balances represents the balances of the account as a list of pairs of coin denomination and amount.
+
+## Examples
+
+```text
+# Query the balances of the account.
+- bank_balances('axone1ffd5wx65l407yvm478cxzlgygw07h79sw4jwpa', X).
+
+# Query the balances of all accounts. The result is a list of pairs of account address and balances.
+- bank_balances(X, Y).
+
+# Query the first balance of the given account by unifying the denomination and amount with the given terms.
+- bank_balances('axone1ffd5wx65l407yvm478cxzlgygw07h79sw4jwpa', [-(D, A), _]).
+```

predicates_versioned_docs/version-v9.0.0/bank_locked_balances_2.md

@@ -0,0 +1,34 @@
+---
+sidebar_position: 2
+---
+[//]: # (This file is auto-generated. Please do not modify it yourself.)
+
+# bank_locked_balances/2
+
+## Description
+
+`bank_locked_balances/2` is a predicate which unifies the given terms with the list of locked coins of the given account.
+
+The signature is as follows:
+
+```text
+bank_locked_balances(?Account, ?Balances)
+```
+
+where:
+
+- Account represents the account address \(in Bech32 format\).
+- Balances represents the locked balances of the account as a list of pairs of coin denomination and amount.
+
+## Examples
+
+```text
+# Query the locked coins of the account.
+- bank_locked_balances('axone1ffd5wx65l407yvm478cxzlgygw07h79sw4jwpa', X).
+
+# Query the locked balances of all accounts. The result is a list of pairs of account address and balances.
+- bank_locked_balances(X, Y).
+
+# Query the first locked balances of the given account by unifying the denomination and amount with the given terms.
+- bank_locked_balances('axone1ffd5wx65l407yvm478cxzlgygw07h79sw4jwpa', [-(D, A), _]).
+```

predicates_versioned_docs/version-v9.0.0/bank_spendable_balances_2.md

@@ -0,0 +1,34 @@
+---
+sidebar_position: 3
+---
+[//]: # (This file is auto-generated. Please do not modify it yourself.)
+
+# bank_spendable_balances/2
+
+## Description
+
+`bank_spendable_balances/2` is a predicate which unifies the given terms with the list of spendable coins of the given account.
+
+The signature is as follows:
+
+```text
+bank_spendable_balances(?Account, ?Balances)
+```
+
+where:
+
+- Account represents the account address \(in Bech32 format\).
+- Balances represents the spendable balances of the account as a list of pairs of coin denomination and amount.
+
+## Examples
+
+```text
+# Query the spendable balances of the account.
+- bank_spendable_balances('axone1ffd5wx65l407yvm478cxzlgygw07h79sw4jwpa', X).
+
+# Query the spendable balances of all accounts. The result is a list of pairs of account address and balances.
+- bank_spendable_balances(X, Y).
+
+# Query the first spendable balances of the given account by unifying the denomination and amount with the given terms.
+- bank_spendable_balances('axone1ffd5wx65l407yvm478cxzlgygw07h79sw4jwpa', [-(D, A), _]).
+```

predicates_versioned_docs/version-v9.0.0/bech32_address_2.md

@@ -0,0 +1,224 @@
+---
+sidebar_position: 4
+---
+[//]: # (This file is auto-generated. Please do not modify it yourself.)
+
+# bech32_address/2
+
+## Description
+
+`bech32_address/2` is a predicate that convert a [bech32](<https://docs.cosmos.network/main/build/spec/addresses/bech32#hrp-table>) encoded string into [base64](<https://fr.wikipedia.org/wiki/Base64>) bytes and give the address prefix, or convert a prefix \(HRP\) and [base64](<https://fr.wikipedia.org/wiki/Base64>) encoded bytes to [bech32](<https://docs.cosmos.network/main/build/spec/addresses/bech32#hrp-table>) encoded string.
+
+## Signature
+
+```text
+bech32_address(-Address, +Bech32) is det
+bech32_address(+Address, -Bech32) is det
+```
+
+where:
+
+- Address is a pair of the HRP \(Human\-Readable Part\) which holds the address prefix and a list of numbers ranging from 0 to 255 that represent the base64 encoded bech32 address string.
+- Bech32 is an Atom or string representing the bech32 encoded string address
+
+## Examples
+
+### Decode Bech32 Address into its Address Pair representation
+
+This scenario demonstrates how to parse a provided bech32 address string into its `Address` pair representation.
+An `Address` is a compound term `-` with two arguments, the first being the human-readable part (Hrp) and the second
+being the numeric address as a list of integers ranging from 0 to 255 representing the bytes of the address in
+base 64.
+
+Here are the steps of the scenario:
+
+- **Given** the query:
+
+```  prolog
+bech32_address(Address, 'axone15wn30a9z4uc692s0kkx5fp5d4qfr3ac77gvjg4').
+```
+
+- **When** the query is run
+- **Then** the answer we get is:
+
+```  yaml
+height: 42
+gas_used: 4140
+answer:
+  has_more: false
+  variables: ["Address"]
+  results:
+  - substitutions:
+    - variable: Address
+      expression: "axone-[163,167,23,244,162,175,49,162,170,15,181,141,68,134,141,168,18,56,247,30]"
+```
+
+### Decode Hrp and Address from a bech32 address
+
+This scenario illustrates how to decode a bech32 address into the human-readable part (Hrp) and the numeric address.
+The process extracts these components from a given bech32 address string, showcasing the ability to parse and
+separate the address into its constituent parts.
+
+Here are the steps of the scenario:
+
+- **Given** the query:
+
+```  prolog
+bech32_address(-(Hrp, Address), 'axone15wn30a9z4uc692s0kkx5fp5d4qfr3ac77gvjg4').
+```
+
+- **When** the query is run
+- **Then** the answer we get is:
+
+```  yaml
+height: 42
+gas_used: 4140
+answer:
+  has_more: false
+  variables: ["Hrp", "Address"]
+  results:
+  - substitutions:
+    - variable: Hrp
+      expression: "axone"
+    - variable: Address
+      expression: "[163,167,23,244,162,175,49,162,170,15,181,141,68,134,141,168,18,56,247,30]"
+```
+
+### Extract Address only for AXONE bech32 address
+
+This scenario demonstrates how to extract the address from a bech32 address string, specifically for a known
+protocol, in this case, the axone protocol.
+
+Here are the steps of the scenario:
+
+- **Given** the query:
+
+```  prolog
+bech32_address(-(axone, Address), 'axone15wn30a9z4uc692s0kkx5fp5d4qfr3ac77gvjg4').
+```
+
+- **When** the query is run
+- **Then** the answer we get is:
+
+```  yaml
+height: 42
+gas_used: 4140
+answer:
+  has_more: false
+  variables: ["Address"]
+  results:
+  - substitutions:
+    - variable: Address
+      expression: "[163,167,23,244,162,175,49,162,170,15,181,141,68,134,141,168,18,56,247,30]"
+```
+
+### Encode Address Pair into Bech32 Address
+
+This scenario demonstrates how to encode an `Address` pair representation into a bech32 address string.
+
+Here are the steps of the scenario:
+
+- **Given** the query:
+
+```  prolog
+bech32_address(-('axone', [163,167,23,244,162,175,49,162,170,15,181,141,68,134,141,168,18,56,247,30]), Bech32).
+```
+
+- **When** the query is run
+- **Then** the answer we get is:
+
+```  yaml
+height: 42
+gas_used: 4140
+answer:
+  has_more: false
+  variables: ["Bech32"]
+  results:
+  - substitutions:
+    - variable: Bech32
+      expression: "axone15wn30a9z4uc692s0kkx5fp5d4qfr3ac77gvjg4"
+```
+
+### Check if a bech32 address is part of the axone protocol
+
+This scenario shows how to check if a bech32 address is part of the axone protocol.
+
+Here are the steps of the scenario:
+
+- **Given** the program:
+
+```  prolog
+axone_addr(Addr) :- bech32_address(-('axone', _), Addr).
+```
+
+- **Given** the query:
+
+```  prolog
+axone_addr('axone1p8u47en82gmzfm259y6z93r9qe63l25d858vqu').
+```
+
+- **When** the query is run
+- **Then** the answer we get is:
+
+```  yaml
+height: 42
+gas_used: 4140
+answer:
+  has_more: false
+  results:
+  - substitutions:
+```
+
+### Error on Incorrect Bech32 Address format
+
+This scenario demonstrates the system's response to an incorrect bech32 address format.
+In this case, the system generates a `domain_error`, indicating that the provided argument does not meet the
+expected format for a bech32 address.
+
+Here are the steps of the scenario:
+
+- **Given** the query:
+
+```  prolog
+bech32_address(Address, axoneincorrect).
+```
+
+- **When** the query is run
+- **Then** the answer we get is:
+
+```  yaml
+height: 42
+gas_used: 4140
+answer:
+  has_more: false
+  variables: ["Address"]
+  results:
+  - error: "error(domain_error(encoding(bech32),axoneincorrect),[d,e,c,o,d,i,n,g, ,b,e,c,h,3,2, ,f,a,i,l,e,d,:, ,i,n,v,a,l,i,d, ,s,e,p,a,r,a,t,o,r, ,i,n,d,e,x, ,-,1],bech32_address/2)"
+```
+
+### Error on Incorrect Bech32 Address type
+
+This scenario demonstrates the system's response to an incorrect bech32 address type.
+In this case, the system generates a `type_error`, indicating that the provided argument does not meet the
+expected type.
+
+Here are the steps of the scenario:
+
+- **Given** the query:
+
+```  prolog
+bech32_address(-('axone', X), foo(bar)).
+```
+
+- **When** the query is run
+- **Then** the answer we get is:
+
+```  yaml
+height: 42
+gas_used: 4140
+answer:
+  has_more: false
+  variables: ["X"]
+  results:
+  - error: "error(type_error(atom,foo(bar)),bech32_address/2)"
+```