File XLOG 5.2 cyclic

Predicate unify_with_occurs_check/2

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

Predicate occurs_check/2

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

Predicate acyclic_term/1

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

Predicate term_minimal/2

Case	j	js	py
XLOG 5.2.1, XLOG 1	1	1	1
XLOG 5.2.1, XLOG 2	1	1	1
XLOG 5.2.1, XLOG 3	1	1	1
XLOG 5.2.1, XLOG 4	1	1	1
Total	4	4	4

Predicate term_decompose/2

Case	j	js	py
XLOG 5.2.2, XLOG 1	1	1	1
XLOG 5.2.2, XLOG 2	1	1	1
XLOG 5.2.2, XLOG 3	1	1	1
XLOG 5.2.2, XLOG 4	1	1	1
Total	4	4	4

Predicate map_compact/2

Case	j	js	py
XLOG 5.2.3, XLOG 1	1	1	1
XLOG 5.2.3, XLOG 2	1	1	1
XLOG 5.2.3, XLOG 3	1	1	1
XLOG 5.2.3, XLOG 4	1	1	1
XLOG 5.2.3, XLOG 5	1	1	1
Total	5	5	5

Legend

amd64, Windows 11

j	Dogelog Player 2.3.3, Oracle Corporation, Java 26.0.1
js	Dogelog Player 2.3.3, Node, JavaScript 26.10.0
py	Dogelog Player 2.3.3, PyPy, Python 3.11.15