File ISO 9.1.7 integer

1 Predicate truncate/ -2
2 Predicate floor/ -2
3 Predicate ceiling/ -2
4 Predicate round/ -2
5 Predicate // / -3
6 Predicate rem/ -3
7 Predicate div/ -3
8 Predicate mod/ -3
9 Legend
Admin User, created Apr 07. 2025

1 Predicate truncate/ -2

Case gnu j js py cnt
ISO 9.1.7.1, ISO 8 1 1 1 1 1
ISO 9.1.7.1, XLOG 1 1 1 1 1 1
ISO 9.1.7.1, ISO 9 1 1 1 1 1
ISO 9.1.7.1, XLOG 2 1 1 1 1 1
ISO 9.1.7.1, XLOG 3 1 1 1 1 1
Total 5 5 5 5 5

2 Predicate floor/ -2

Case gnu j js py cnt
ISO 9.1.7.2, ISO 1 1 1 1 1 1
ISO 9.1.7.2, ISO 2 1 1 1 1 1
ISO 9.1.7.2, XLOG 1 1 1 1 1 1
ISO 9.1.7.2, XLOG 2 1 1 1 1 1
Total 4 4 4 4 4

3 Predicate ceiling/ -2

Case gnu j js py cnt
ISO 9.1.7.3, ISO 7 1 1 1 1 1
ISO 9.1.7.3, XLOG 1 1 1 1 1 1
ISO 9.1.7.3, XLOG 2 1 1 1 1 1
ISO 9.1.7.3, XLOG 3 1 1 1 1 1
Total 4 4 4 4 4

4 Predicate round/ -2

Case gnu j js py cnt
ISO 9.1.7.4, ISO 3 1 1 1 1 1
ISO 9.1.7.4, ISO 4 1 1 1 1 1
ISO 9.1.7.4, ISO 5 1 1 1 1 1
ISO 9.1.7.4, ISO 6 1 1 1 1 1
ISO 9.1.7.4, XLOG 1 1 1 1 1 1
ISO 9.1.7.4, XLOG 2 1 1 1 1 1
Total 6 6 6 6 6

5 Predicate // / -3

Case gnu j js py cnt
ISO 9.1.7.5, ISO 21 1 1 1 1 1
ISO 9.1.7.5, ISO 23 1 1 1 1 1
ISO 9.1.7.5, XLOG 1 1 1 1 1 1
ISO 9.1.7.5, XLOG 2 1 1 1 1 1
ISO 9.1.7.5, XLOG 3 1 1 1 1 1
ISO 9.1.7.5, XLOG 4 1 1 1 1 1
Total 6 6 6 6 6

6 Predicate rem/ -3

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

7 Predicate div/ -3

Case gnu j js py cnt
Corr.2 9.1.3, XLOG 1 1 1 1 1 1
Corr.2 9.1.3, XLOG 2 1 1 1 1 1
Corr.2 9.1.3, XLOG 3 1 1 1 1 1
Corr.2 9.1.3, XLOG 4 1 1 1 1 1
Corr.2 9.1.3, XLOG 5 1 1 1 1 1
Corr.2 9.1.3, XLOG 6 1 1 1 1 1
Total 6 6 6 6 6

8 Predicate mod/ -3

Case gnu j js py cnt
ISO 9.1.7.7, ISO 30 1 1 1 1 1
ISO 9.1.7.7, ISO 31 1 1 1 1 1
ISO 9.1.7.7, ISO 32 1 1 1 1 1
ISO 9.1.7.7, XLOG 1 1 1 1 1 1
ISO 9.1.7.7, ISO 33 1 1 1 1 1
ISO 9.1.7.7, ISO 34 1 1 1 1 1
ISO 9.1.7.7, ISO 36 1 1 1 1 1
ISO 9.1.7.7, XLOG 2 1 1 1 1 1
Total 8 8 8 8 8

9 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