File ISO 9.1.7 bigint

1 Predicate truncate/ -2
2 Predicate floor/ -2
3 Predicate ceiling/ -2
4 Predicate round/ -2
5 Predicate float/ -2
6 Predicate / / -3
7 Legend
Admin User, created Apr 06. 2025

1 Predicate truncate/ -2

Case gnu j js py cnt
ISO 9.1.7.1, XLOG 1 0 1 1 1 1
Total 0 1 1 1 1

2 Predicate floor/ -2

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

3 Predicate ceiling/ -2

Case gnu j js py cnt
ISO 9.1.7.3, XLOG 1 0 1 1 1 1
Total 0 1 1 1 1

4 Predicate round/ -2

Case gnu j js py cnt
ISO 9.1.7.4, XLOG 1 0 1 1 1 1
Total 0 1 1 1 1

5 Predicate float/ -2

Case gnu j js py cnt
ISO 9.1.7, XLOG 1 0 1 1 1 1
ISO 9.1.7, XLOG 2 0 1 1 1 1
ISO 9.1.7, XLOG 3 0 1 1 1 1
Total 0 3 3 3 3

6 Predicate / / -3

Case gnu j js py cnt
ISO 9.1.7, XLOG 1 0 1 1 1 1
ISO 9.1.7, XLOG 2 0 1 1 1 1
ISO 9.1.7, XLOG 3 0 1 1 1 1
Total 0 3 3 3 3

7 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