object
iso_4217
Generated ISO 4217 active currency and fund facts extracted from the SIX list-one.xml snapshot.
Availability:
logtalk_load(iso_4217(loader))Author: Paulo Moura
Version: 1:0:0
Date: 2026-05-05
Compilation flags:
static, context_switching_callsImplements:
public iso_4217_protocolRemarks:
Source publication: 2026-01-01
Generated currency entries: 269
Generated fund entries: 8
Inherited public predicates:
(none)
Public predicates
currency/5
Generated ISO 4217 active non-fund currency fact table.
Compilation flags:
staticTemplate:
currency(Alphabetic,Numeric,MinorUnit,Name,Entity)Mode and number of proofs:
currency(?atom,?integer,?term,?atom,?atom) - zero_or_morefund_currency/5
Generated ISO 4217 active fund currency fact table.
Compilation flags:
staticTemplate:
fund_currency(Alphabetic,Numeric,MinorUnit,Name,Entity)Mode and number of proofs:
fund_currency(?atom,?integer,?term,?atom,?atom) - zero_or_moreProtected predicates
(no local declarations; see entity ancestors if any)
Private predicates
(no local declarations; see entity ancestors if any)
Operators
(none)