File ISO 8.16 atoms

1 Predicate atom_length/2
2 Predicate atom_concat/3
3 Predicate sub_atom/5
4 Predicate atom_codes/2
5 Predicate char_code/2
6 Legend
Admin User, created Apr 07. 2025

1 Predicate atom_length/2

Case gnu j js py cnt
ISO 8.16.1.4, ISO 1 1 1 1 1 1
ISO 8.16.1.4, ISO 3 1 1 1 1 1
ISO 8.16.1.4, ISO 4 1 1 1 1 1
ISO 8.16.1.4, ISO 5 1 1 1 1 1
ISO 8.16.1.4, ISO 6 1 1 1 1 1
ISO 8.16.1.4, XLOG 1 0 1 1 1 1
Total 5 6 6 6 6

2 Predicate atom_concat/3

Case gnu j js py cnt
ISO 8.16.2.4, ISO 1 1 1 1 1 1
ISO 8.16.2.4, ISO 2 1 1 1 1 1
ISO 8.16.2.4, ISO 3 1 1 1 1 1
ISO 8.16.2.4, ISO 4a 1 1 1 1 1
ISO 8.16.2.4, ISO 4b 1 1 1 1 1
ISO 8.16.2.4, ISO 5 1 1 1 1 1
Total 6 6 6 6 6

3 Predicate sub_atom/5

Case gnu j js py cnt
ISO 8.16.3.4, ISO 1 1 1 1 1 1
ISO 8.16.3.4, ISO 2 1 1 1 1 1
ISO 8.16.3.4, ISO 3 1 1 1 1 1
ISO 8.16.3.4, ISO 4a 1 1 1 1 1
ISO 8.16.3.4, ISO 4b 1 1 1 1 1
ISO 8.16.3.4, ISO 5 1 1 1 1 1
ISO 8.16.3.4, ISO 6a 1 1 1 1 1
ISO 8.16.3.4, ISO 6b 1 1 1 1 1
ISO 8.16.3.4, ISO 7a 1 1 1 1 1
ISO 8.16.3.4, ISO 7b 1 1 1 1 1
Total 10 10 10 10 10

4 Predicate atom_codes/2

Case gnu j js py cnt
ISO 8.16.5.4, ISO 1 1 1 1 1 1
ISO 8.16.5.4, ISO 2 1 1 1 1 1
ISO 8.16.5.4, ISO 3 1 1 1 1 1
ISO 8.16.5.4, ISO 4 1 1 1 1 1
ISO 8.16.5.4, ISO 5 1 1 1 1 1
ISO 8.16.5.4, ISO 6 1 1 1 1 1
ISO 8.16.5.4, ISO 7 1 1 1 1 1
ISO 8.16.5.4, ISO 8 1 1 1 1 1
ISO 8.16.5.4, XLOG 1 1 1 1 1 1
Total 9 9 9 9 9

5 Predicate char_code/2

Case gnu j js py cnt
ISO 8.16.6.4, ISO 1 1 1 1 1 1
ISO 8.16.6.4, ISO 2 1 1 1 1 1
ISO 8.16.6.4, ISO 3 1 1 1 1 1
ISO 8.16.6.4, ISO 4 0 1 1 1 1
ISO 8.16.6.4, ISO 5 1 1 1 1 1
ISO 8.16.6.4, ISO 6 1 1 1 1 1
ISO 8.16.6.4, ISO 7 1 1 1 1 1
Total 6 7 7 7 7

6 Legend

amd64, Windows 11

gnu GNU Prolog 1.5.0
j Dogelog Player 1.3.2, Oracle Corporation, Java 24
js Dogelog Player 1.3.2, node, JavaScript 23.10.0
py Dogelog Player 1.3.2, PyPy, Python 3.11.11
cnt Number of Test Cases