`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)

.. contents:: :local: :backlinks: top

Public predicates

.. index:: country_spec/3 .. _iso_13616_registry/0::country_spec/3:

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)