AllBalancesSorted returns the list of balances for the given address, sorted by coin denomination.

BankBalances is a predicate which unifies the given terms with the list of balances (coins) of the given account.

BankLockedBalances is a predicate which unifies the given terms with the list of locked coins of the given account.

BankSpendableBalances is a predicate which unifies the given terms with the list of spendable coins of the given account.

Bech32Address is a predicate that convert a [bech32] encoded string into [base64] bytes and give the address prefix, or convert a prefix (HRP) and [base64] encoded bytes to [bech32] encoded string.

BlockHeight is a predicate which unifies the given term with the current block height.

BlockTime is a predicate which unifies the given term with the current block time.

ChainID is a predicate which unifies the given term with the current chain ID.

CoinsToTerm converts the given coins to a term of the form: [-(Denom, Amount), -(Denom, Amount), ...].

Consult is a predicate which read files as Prolog source code.

CryptoDataHash is a predicate that computes the Hash of the given Data using different algorithms.

CurrentOutput is a predicate that unifies the given term with the current output stream.

DIDComponents is a predicate which breaks down a DID into its components according to the [W3C DID] specification.

ECDSAVerify determines if a given signature is valid as per the ECDSA algorithm for the provided data, using the specified public key.

EDDSAVerify determines if a given signature is valid as per the EdDSA algorithm for the provided data, using the specified public key.

HexBytes is a predicate that unifies hexadecimal encoded bytes to a list of bytes.

JSONProlog is a predicate that will unify a JSON string into prolog terms and vice versa.

LockedCoinsSorted returns the list of spendable coins for the given address, sorted by coin denomination.

Open is a predicate which opens a stream to a source or sink.

Open3 is a predicate which opens a stream to a source or sink.

ReadString is a predicate that reads characters from the provided Stream and unifies them with String.

SortBalances by coin denomination.

SourceFile is a predicate which unifies the given term with the source file that is currently loaded.

SpendableCoinsSorted returns the list of spendable coins for the given address, sorted by coin denomination.

StringBytes is a predicate that unifies a string with a list of bytes, returning true when the (Unicode) String is represented by Bytes in Encoding.

URIEncoded is a predicate that unifies the given URI component with the given encoded or decoded string.

DIDPrefix is the prefix for a DID.