1 Predicate clause/2
| Case |
gnu |
j |
js |
py |
cnt |
| ISO 8.8.1.4, ISO 1 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.8.1.4, ISO 2 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.8.1.4, ISO 3 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.8.1.4, ISO 4 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.8.1.4, ISO 5 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.8.1.4, ISO 6 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.8.1.4, ISO 7 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.8.1.4, ISO 8 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.8.1.4, ISO 9 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.8.1.4, ISO 10 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.8.1.4, ISO 11 |
1 |
1 |
1 |
1 |
1 |
| Total |
11 |
11 |
11 |
11 |
11 |
2 Predicate retract/1
| Case |
gnu |
j |
js |
py |
cnt |
| ISO 8.9.3.4, ISO 1 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.9.3.4, ISO 2 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.9.3.4, ISO 3 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.9.3.4, ISO 4 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.9.3.4, ISO 5 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.9.3.4, ISO 6 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.9.3.4, ISO 7 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.9.3.4, ISO 8 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.9.3.4, ISO 9 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.9.3.4, ISO 10 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.9.3.4, ISO 11 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.9.3.4, ISO 12 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.9.3.4, ISO 13 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.9.3.4, ISO 14 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.9.3.4, ISO 15 |
1 |
1 |
1 |
1 |
1 |
| ISO 8.9.3.4, XLOG 1 |
1 |
1 |
1 |
1 |
1 |
| Total |
16 |
16 |
16 |
16 |
16 |
3 Predicate asserta/1
4 Predicate assertz/1
5 Predicate abolish/1
6 Predicate retractall/1
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 |
Home Page
Site Map
Login/out
Message Board
Download