1 Predicate op/3
| Case |
gnu |
j |
js |
py |
cnt |
| ISO 8.14.3.4, ISO 1 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.14.3.4, ISO 2 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.14.3.4, ISO 3 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.14.3.4, ISO 4 |
0 |
1 |
1 |
1 |
1 |
| ISO 8.14.3.4, ISO 5 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.14.3.4, ISO 6 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.14.3.4, ISO 7 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.14.3.4, ISO 8 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.14.3.4, ISO 9 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.14.3.4, ISO 10 |
1 |
1 |
1 |
1 |
1 |
| Total |
9 |
10 |
10 |
10 |
10 |
2 Predicate write/1
3 Predicate writeq/1
4 Predicate write_canonical/1
5 Predicate write_term/2
6 Predicate read/1
| Case |
gnu |
j |
js |
py |
cnt |
| ISO 8.14.1.4, ISO 1a |
1 |
1 |
1 |
1 |
1 |
| ISO 8.14.1.4, ISO 1b |
1 |
1 |
1 |
1 |
1 |
| ISO 8.14.1.4, ISO 1c |
1 |
1 |
1 |
1 |
1 |
| ISO 8.14.1.4, ISO 4 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.14.1.4, ISO 5 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.14.1.4, ISO 6 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.14.1.4, XLOG 1 |
1 |
1 |
1 |
1 |
1 |
| ISO 6.3.3.1, XLOG 1 |
1 |
1 |
1 |
1 |
1 |
| ISO 6.3.3.1, XLOG 2 |
1 |
1 |
1 |
1 |
1 |
| ISO 6.3.3.1, XLOG 3 |
1 |
1 |
1 |
1 |
1 |
| ISO 6.3.3.1, XLOG 4 |
1 |
1 |
1 |
1 |
1 |
| Total |
11 |
11 |
11 |
11 |
11 |
7 Predicate read_term/2
8 Predicate variable_names/1
| Case |
gnu |
j |
js |
py |
cnt |
| Corr 3, 7.10.4, XLOG 1 |
0 |
1 |
1 |
1 |
1 |
| Corr 3, 7.10.4, XLOG 2 |
0 |
1 |
1 |
1 |
1 |
| Corr 3, 7.10.4, XLOG 3 |
0 |
1 |
1 |
1 |
1 |
| Corr 3, 7.10.4, XLOG 4 |
1 |
1 |
1 |
1 |
1 |
| Corr 3, 7.10.4, XLOG 5 |
0 |
1 |
1 |
1 |
1 |
| Corr 3, 7.10.4, XLOG 6 |
0 |
1 |
1 |
1 |
1 |
| Corr 3, 7.10.4, XLOG 7 |
0 |
1 |
1 |
1 |
1 |
| Corr 3, 7.10.4, ISO 1 |
1 |
1 |
1 |
1 |
1 |
| Corr 3, 7.10.4, ISO 8 |
0 |
1 |
1 |
1 |
1 |
| Total |
2 |
9 |
9 |
9 |
9 |
9 Predicate open/3
10 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 |
Home Page
Site Map
Login/out
Message Board
Download