| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| ISO 8.6.1.4, ISO 1 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.6.1.4, ISO 2 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.6.1.4, ISO 3 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.6.1.4, ISO 4 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.6.1.4, ISO 5 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.6.1.4, ISO 6 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.6.1.4, XLOG 1 | 1 | 1 | 1 | 1 | 1 |
| ISO 8.6.1.4, XLOG 2 | 1 | 1 | 1 | 1 | 1 |
| Total | 8 | 8 | 8 | 8 | 8 |
| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| ISO 9.1.7, ISO 6 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 7 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 8 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 9 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 10 | 1 | 1 | 1 | 1 | 1 |
| Total | 5 | 5 | 5 | 5 | 5 |
| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| ISO 9.1.7, ISO 52 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 53 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 54 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 55 | 1 | 1 | 1 | 1 | 1 |
| Total | 4 | 4 | 4 | 4 | 4 |
| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| ISO 9.1.4, XLOG 1 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.4, XLOG 2 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.4, XLOG 3 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.4, XLOG 5 | 1 | 1 | 1 | 1 | 1 |
| Total | 4 | 4 | 4 | 4 | 4 |
| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| ISO 9.1.7, ISO 47 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 48 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 49 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, XLOG 1 | 0 | 1 | 1 | 1 | 1 |
| Total | 3 | 4 | 4 | 4 | 4 |
| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| ISO 9.1.7, ISO 1 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 2 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 3 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 5 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, XLOG 1 | 1 | 1 | 1 | 1 | 1 |
| Total | 5 | 5 | 5 | 5 | 5 |
| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| ISO 9.1.7, ISO 11 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 12 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 13 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 14 | 1 | 1 | 1 | 1 | 1 |
| Total | 4 | 4 | 4 | 4 | 4 |
| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| ISO 9.1.7, ISO 16 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 17 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 18 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 19 | 1 | 1 | 1 | 1 | 1 |
| Total | 4 | 4 | 4 | 4 | 4 |
| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| ISO 9.1.7, ISO 22 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 24 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 25 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 26 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 28 | 1 | 1 | 1 | 1 | 1 |
| ISO 9.1.7, ISO 29 | 1 | 1 | 1 | 1 | 1 |
| Total | 6 | 6 | 6 | 6 | 6 |
| Case | gnu | j | js | py | cnt |
|---|---|---|---|---|---|
| Corr.2 9.3.10.4, ISO 1 | 1 | 1 | 1 | 1 | 1 |
| Corr.2 9.3.10.4, XLOG 1 | 1 | 1 | 1 | 1 | 1 |
| Corr.2 9.3.10.4, ISO 3 | 1 | 1 | 1 | 1 | 1 |
| Corr.2 9.3.10.4, ISO 4 | 1 | 1 | 1 | 1 | 1 |
| Corr.2 9.3.10.4, ISO 5 | 1 | 1 | 1 | 1 | 1 |
| Corr.2 9.3.10.4, XLOG 2 | 0 | 1 | 1 | 1 | 1 |
| Corr.2 9.3.10.4, XLOG 3 | 1 | 1 | 1 | 1 | 1 |
| Corr.2 9.3.10.4, XLOG 4 | 1 | 1 | 1 | 1 | 1 |
| Corr.2 9.3.10.4, XLOG 5 | 1 | 1 | 1 | 1 | 1 |
| Total | 8 | 9 | 9 | 9 | 9 |
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 |