File ISO 8.5 terms

Predicate =.. /2

Case	j	js	py
ISO 8.5.3.4, ISO 1	1	1	1
ISO 8.5.3.4, ISO 2	1	1	1
ISO 8.5.3.4, ISO 3	1	1	1
ISO 8.5.3.4, ISO 4	1	1	1
ISO 8.5.3.4, ISO 5	1	1	1
ISO 8.5.3.4, ISO 6	1	1	1
ISO 8.5.3.4, ISO 7	1	1	1
ISO 8.5.3.4, ISO 8	1	1	1
ISO 8.5.3.4, ISO 9	1	1	1
ISO 8.5.3.4, ISO 10	1	1	1
ISO 8.5.3.4, XLOG 1	1	1	1
ISO 8.5.3.4, XLOG 2	1	1	1
ISO 8.5.3.4, XLOG 3	1	1	1
ISO 8.5.3.4, ISO 12	1	1	1
ISO 8.5.3.4, XLOG 4	1	1	1
ISO 8.5.3.4, XLOG 5	1	1	1
Total	16	16	16

Predicate functor/3

Case	j	js	py
ISO 8.5.1.4, ISO 1	1	1	1
ISO 8.5.1.4, ISO 2	1	1	1
ISO 8.5.1.4, ISO 3	1	1	1
ISO 8.5.1.4, ISO 4	1	1	1
ISO 8.5.1.4, ISO 5	1	1	1
ISO 8.5.1.4, ISO 6	1	1	1
ISO 8.5.1.4, ISO 7	1	1	1
ISO 8.5.1.4, ISO 8	1	1	1
ISO 8.5.1.4, ISO 9	1	1	1
ISO 8.5.1.4, ISO 10	1	1	1
ISO 8.5.1.4, ISO 11	1	1	1
ISO 8.5.1.4, ISO 12	1	1	1
ISO 8.5.1.4, ISO 13	1	1	1
ISO 8.5.1.4, ISO 14	1	1	1
ISO 8.5.1.4, XLOG 1	1	1	1
ISO 8.5.1.4, XLOG 2	1	1	1
ISO 8.5.1.4, ISO 15	1	1	1
ISO 8.5.1.4, ISO 16	1	1	1
Total	18	18	18

Predicate arg/3

Case	j	js	py
ISO 8.5.2.4, ISO 1	1	1	1
ISO 8.5.2.4, ISO 2	1	1	1
ISO 8.5.2.4, ISO 3	1	1	1
ISO 8.5.2.4, ISO 4	1	1	1
ISO 8.5.2.4, ISO 5	1	1	1
ISO 8.5.2.4, ISO 7	1	1	1
ISO 8.5.2.4, ISO 8	1	1	1
ISO 8.5.2.4, ISO 9	1	1	1
ISO 8.5.2.4, XLOG 1	1	1	1
ISO 8.5.2.4, XLOG 2	1	1	1
ISO 8.5.2.4, XLOG 3	1	1	1
Total	11	11	11

Predicate = /2

Case	j	js	py
ISO 8.2.1.4, ISO 1	1	1	1
ISO 8.2.1.4, ISO 2	1	1	1
ISO 8.2.1.4, ISO 3	1	1	1
ISO 8.2.1.4, ISO 4	1	1	1
ISO 8.2.1.4, ISO 5	1	1	1
ISO 8.2.1.4, ISO 6	1	1	1
ISO 8.2.1.4, ISO 8	1	1	1
ISO 8.2.1.4, ISO 10	1	1	1
ISO 8.2.1.4, ISO 11	1	1	1
ISO 8.2.1.4, XLOG 1	1	1	1
ISO 8.2.1.4, XLOG 2	1	1	1
ISO 8.2.1.4, XLOG 3	1	1	1
Total	12	12	12

Predicate \= /2

Case	j	js	py
ISO 8.2.3.4, ISO 1	1	1	1
ISO 8.2.3.4, ISO 2	1	1	1
ISO 8.2.3.4, ISO 3	1	1	1
ISO 8.2.3.4, ISO 4	1	1	1
ISO 8.2.3.4, ISO 5	1	1	1
ISO 8.2.3.4, ISO 6	1	1	1
ISO 8.2.3.4, ISO 7	1	1	1
ISO 8.2.3.4, ISO 8	1	1	1
ISO 8.2.3.4, ISO 9	1	1	1
ISO 8.2.3.4, XLOG 1	1	1	1
ISO 8.2.3.4, XLOG 2	1	1	1
Total	11	11	11

Predicate copy_term/2

Case	j	js	py
ISO 8.5.4.4, ISO 1	1	1	1
ISO 8.5.4.4, ISO 2	1	1	1
ISO 8.5.4.4, ISO 3	1	1	1
ISO 8.5.4.4, ISO 4	1	1	1
ISO 8.5.4.4, ISO 5	1	1	1
ISO 8.5.4.4, ISO 6	1	1	1
ISO 8.5.4.4, ISO 7	1	1	1
ISO 8.5.4.4, ISO 8	1	1	1
ISO 8.5.4.4, XLOG 1	1	1	1
ISO 8.5.4.4, XLOG 2	1	1	1
ISO 8.5.4.4, XLOG 3	1	1	1
Total	11	11	11

Predicate term_variables/2

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

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