iso_13616_protocol — Logtalk 3.100.1

protocol

# `iso_13616_protocol`

Protocol for ISO 13616 IBAN structure parsing, checksum validation, and normalization.

Availability:
`logtalk_load(iso_13616(loader))`
Author: Paulo Moura
Version: 1:0:0
Date: 2026-05-05
Compilation flags:
`static`
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

## Public predicates

### `iban/4`

Parses and validates an ISO 13616 IBAN atom into ISO 3166-1 alpha-2 country code, two-character check digits, and BBAN atom. Input may use lowercase letters and embedded spaces; successful results are normalized to uppercase compact components.

Compilation flags:
`static`
Template:
`iban(IBAN,CountryAlpha2,CheckDigits,BBAN)`
Mode and number of proofs:
`iban(+atom,?atom,?atom,?atom)` - `zero_or_one`

### `canonical_iban/2`

Returns the canonical electronic-format IBAN for a valid input by removing spaces and converting letters to uppercase.

Compilation flags:
`static`
Template:
`canonical_iban(IBAN,Canonical)`
Mode and number of proofs:
`canonical_iban(+atom,?atom)` - `zero_or_one`

### `formatted_iban/2`

Returns a valid IBAN formatted in groups of four characters separated by spaces.

Compilation flags:
`static`
Template:
`formatted_iban(IBAN,Formatted)`
Mode and number of proofs:
`formatted_iban(+atom,?atom)` - `zero_or_one`

## Protected predicates

(none)

## Private predicates

(none)

## Operators

(none)