Datei ISO 7.8 cond

1 Prädikat ,/2
2 Prädikat ;/2
3 Prädikat -> /2
4 Prädikat if_then_else/3
5 Prädikat (\+)/1
6 Prädikat once/1
7 Prädikat repeat/0
8 Prädikat call/1
9 Legende
Admin User, erstellt 07. Apr. 2025

1 Prädikat ,/2

Case gnu j js py cnt
ISO 7.8.5.4, ISO 1 1 1 1 1 1
ISO 7.8.5.4, ISO 2 1 1 1 1 1
ISO 7.8.5.4, ISO 3 1 1 1 1 1
Gesamt 3 3 3 3 3

2 Prädikat ;/2

Case gnu j js py cnt
ISO 7.8.6.4, ISO 1 1 1 1 1 1
ISO 7.8.6.4, ISO 2 1 1 1 1 1
ISO 7.8.6.4, ISO 3 1 1 1 1 1
ISO 7.8.6.4, ISO 4a 1 1 1 1 1
ISO 7.8.6.4, ISO 4b 1 1 1 1 1
ISO 7.8.6.4, ISO 5a 1 1 1 1 1
ISO 7.8.6.4, ISO 5b 1 1 1 1 1
ISO 7.8.6.4, ISO 5c 1 1 1 1 1
Gesamt 8 8 8 8 8

3 Prädikat -> /2

Case gnu j js py cnt
ISO 7.8.7.4, ISO 1 1 1 1 1 1
ISO 7.8.7.4, ISO 2 1 1 1 1 1
ISO 7.8.7.4, ISO 3 1 1 1 1 1
ISO 7.8.7.4, ISO 4a 1 1 1 1 1
ISO 7.8.7.4, ISO 4b 1 1 1 1 1
ISO 7.8.7.4, ISO 5a 1 1 1 1 1
ISO 7.8.7.4, ISO 5b 1 1 1 1 1
ISO 7.8.7.4, ISO 6a 1 1 1 1 1
ISO 7.8.7.4, ISO 6b 1 1 1 1 1
ISO 7.8.7.4, ISO 6c 1 1 1 1 1
ISO 7.8.7.4, XLOG 1 1 1 1 1 1
Gesamt 11 11 11 11 11

4 Prädikat if_then_else/3

Case gnu j js py cnt
ISO 7.8.8.4, ISO 1 1 1 1 1 1
ISO 7.8.8.4, ISO 2 1 1 1 1 1
ISO 7.8.8.4, ISO 3 1 1 1 1 1
ISO 7.8.8.4, ISO 4 1 1 1 1 1
ISO 7.8.8.4, ISO 5 1 1 1 1 1
ISO 7.8.8.4, ISO 6 1 1 1 1 1
ISO 7.8.8.4, ISO 7a 1 1 1 1 1
ISO 7.8.8.4, ISO 7b 1 1 1 1 1
ISO 7.8.8.4, ISO 7c 1 1 1 1 1
ISO 7.8.8.4, ISO 8a 1 1 1 1 1
ISO 7.8.8.4, ISO 8b 1 1 1 1 1
ISO 7.8.8.4, ISO 9 1 1 1 1 1
ISO 7.8.8.4, XLOG 1 1 1 1 1 1
ISO 7.8.8.4, XLOG 2 1 1 1 1 1
Gesamt 14 14 14 14 14

5 Prädikat (\+)/1

Case gnu j js py cnt
ISO 8.15.1.4, ISO 1 1 1 1 1 1
ISO 8.15.1.4, ISO 2 1 1 1 1 1
ISO 8.15.1.4, ISO 3 1 1 1 1 1
ISO 8.15.1.4, ISO 4 1 1 1 1 1
ISO 8.15.1.4, XLOG 1 1 1 1 1 1
ISO 8.15.1.4, XLOG 2 1 1 1 1 1
ISO 8.15.1.4, ISO 5 1 1 1 1 1
Gesamt 7 7 7 7 7

6 Prädikat once/1

Case gnu j js py cnt
ISO 8.15.2.4, ISO 1 1 1 1 1 1
ISO 8.15.2.4, ISO 2a 1 1 1 1 1
ISO 8.15.2.4, ISO 2b 1 1 1 1 1
ISO 8.15.2.4, ISO 2c 1 1 1 1 1
ISO 8.15.2.4, ISO 3 1 1 1 1 1
ISO 8.15.2.4, ISO 4 1 1 1 1 1
ISO 8.15.2.4, XLOG 1 1 1 1 1 1
ISO 8.15.2.4, XLOG 2 1 1 1 1 1
ISO 8.15.2.4, XLOG 3 1 1 1 1 1
Gesamt 9 9 9 9 9

7 Prädikat repeat/0

Case gnu j js py cnt
ISO 8.15.3.4, ISO 2 1 1 1 1 1
Gesamt 1 1 1 1 1

8 Prädikat call/1

Case gnu j js py cnt
ISO 7.8.3.4, ISO 1 1 1 1 1 1
ISO 7.8.3.4, ISO 2 1 1 1 1 1
ISO 7.8.3.4, ISO 3 1 1 1 1 1
ISO 7.8.3.4, ISO 4 1 1 1 1 1
ISO 7.8.3.4, ISO 5a 1 1 1 1 1
ISO 7.8.3.4, ISO 5b 1 1 1 1 1
ISO 7.8.3.4, ISO 6a 1 1 1 1 1
ISO 7.8.3.4, ISO 6b 1 1 1 1 1
ISO 7.8.3.4, ISO 7a 1 1 1 1 1
ISO 7.8.3.4, ISO 7b 1 1 1 1 1
ISO 7.8.3.4, ISO 8a 1 1 1 1 1
ISO 7.8.3.4, ISO 8b 1 1 1 1 1
ISO 7.8.3.4, ISO 8c 1 1 1 1 1
ISO 7.8.3.4, ISO 9a 1 1 1 1 1
ISO 7.8.3.4, ISO 9b 1 1 1 1 1
ISO 7.8.3.4, ISO 10a 1 1 1 1 1
ISO 7.8.3.4, ISO 10b 1 1 1 1 1
ISO 7.8.3.4, ISO 11 1 1 1 1 1
ISO 7.8.3.4, ISO 12 1 1 1 1 1
ISO 7.8.3.4, ISO 13 0 1 1 1 1
ISO 7.8.3.4, ISO 14a 1 1 1 1 1
ISO 7.8.3.4, ISO 14b 0 1 1 1 1
ISO 7.8.3.4, ISO 15 0 1 1 1 1
Gesamt 20 23 23 23 23

9 Legende

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