Desktop

File XLOG 4.2 cyclic

Predicate subsumes/2

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

Predicate subsumes_term/2

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

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 acyclic_factorized/2

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

Legend

amd64, Windows 11

j Dogelog Player 2.1.6, Oracle Corporation, Java 25
js Dogelog Player 2.1.6, Node, JavaScript 25.6.0
py Dogelog Player 2.1.6, PyPy, Python 3.11.13
Use Privacy (c) 2005-2026 XLOG Technologies AG