site

download

Use Privacy
(c) 2005-2026 XLOG Technologies AG

File XLOG 3.6 cyclic

1 Predicate subsumes/2

Case	j	js	py	cnt
XLOG 3.6.1, ISO 1	1	1	1	1
XLOG 3.6.1, ISO 2	1	1	1	1
XLOG 3.6.1, ISO 3	1	1	1	1
XLOG 3.6.1, ISO 4	1	1	1	1
XLOG 3.6.1, ISO 5	1	1	1	1
XLOG 3.6.1, ISO 6	1	1	1	1
Total	6	6	6	6

2 Predicate subsumes_term/2

Case	j	js	py	cnt
ISO 8.2.4.4, ISO 1	1	1	1	1
ISO 8.2.4.4, ISO 2	1	1	1	1
ISO 8.2.4.4, ISO 3	1	1	1	1
ISO 8.2.4.4, ISO 4	1	1	1	1
ISO 8.2.4.4, ISO 5	1	1	1	1
ISO 8.2.4.4, ISO 6	1	1	1	1
Total	6	6	6	6

3 Predicate unify_with_occurs_check/2

Case	j	js	py	cnt
ISO 8.2.2.4, ISO 1	1	1	1	1
ISO 8.2.2.4, ISO 2	1	1	1	1
ISO 8.2.2.4, ISO 3	1	1	1	1
ISO 8.2.2.4, ISO 4	1	1	1	1
ISO 8.2.2.4, ISO 6	1	1	1	1
ISO 8.2.2.4, ISO 8	1	1	1	1
ISO 8.2.2.4, ISO 10	1	1	1	1
ISO 8.2.2.4, ISO 11	1	1	1	1
ISO 8.2.2.4, ISO 13	1	1	1	1
ISO 8.2.2.4, ISO 16	1	1	1	1
ISO 8.2.2.4, XLOG 1	1	1	1	1
ISO 8.2.2.4, XLOG 2	1	1	1	1
Total	12	12	12	12

4 Predicate occurs_check/2

Case	j	js	py	cnt
ISO 7.3.3, ISO 1	1	1	1	1
ISO 7.3.3, ISO 2	1	1	1	1
Total	2	2	2	2

5 Predicate acyclic_term/1

Case	j	js	py	cnt
Corr.2 8.3.11.4, ISO 1	1	1	1	1
Corr.2 8.3.11.4, ISO 2	1	1	1	1
Corr.2 8.3.11.4, XLOG 1	1	1	1	1
Corr.2 8.3.11.4, XLOG 2	1	1	1	1
Corr.2 8.3.11.4, XLOG 3	1	1	1	1
Corr.2 8.3.11.4, XLOG 4	1	1	1	1
Total	6	6	6	6

6 Predicate acyclic_factorized/2

Case	j	js	py	cnt
XLOG 3.6.2, XLOG 1	1	1	1	1
XLOG 3.6.2, XLOG 2	1	1	1	1
XLOG 3.6.2, XLOG 3	1	1	1	1
XLOG 3.6.2, XLOG 4	1	1	1	1
XLOG 3.6.2, XLOG 5	1	1	1	1
XLOG 3.6.2, XLOG 6	1	1	1	1
XLOG 3.6.2, XLOG 7	1	1	1	1
Total	7	7	7	7

7 Legend

amd64, Windows 11

j	Dogelog Player 2.1.5, Oracle Corporation, Java 25
js	Dogelog Player 2.1.5, node, JavaScript 25.6.0
py	Dogelog Player 2.1.5, PyPy, Python 3.11.13
cnt	Number of Test Cases

Download