object

iso_13616_registry

Public SWIFT IBAN registry snapshot facts for ISO 13616 country-specific validation using a derived Prolog BBAN segment representation.

Availability:

logtalk_load(iso_13616(loader))

Author: Paulo Moura

Version: 1:0:0

Date: 2026-05-05

Compilation flags:

static, context_switching_calls

Dependencies:

(none)

Remarks:

(none)

Inherited public predicates:

(none)

Public predicates

country_spec/3

Maps an IBAN country code to the registered total IBAN length and a derived BBAN structure term. BBANPattern is a list of Type-Count pairs, where Type is a for uppercase letters, n for digits, and c for uppercase alphanumeric characters. For example, [a-4, n-6, n-8] denotes four letters followed by six digits and then eight digits.

Compilation flags:

static

Template:

country_spec(CountryAlpha2,IBANLength,BBANPattern)

Mode and number of proofs:

country_spec(?atom,?integer,?list) - zero_or_more

---

Protected predicates

(none)

Private predicates

(none)

Operators

(none)