2 lines
53 B
Text
2 lines
53 B
Text
| ?- iban::valid("GB82 WEST 1234 5698 7654 32").
|
|
yes
|
| ?- iban::valid("GB82 WEST 1234 5698 7654 32").
|
|
yes
|