Datei XLOG 2.2 compat

Admin User, erstellt 06. Apr. 2025

1 Prädikat forall/2

2 Prädikat numbervars/3

3 Prädikat subsumes/2

4 Prädikat subsumes_term/2

5 Prädikat term_hash/2

6 Prädikat term_singletons/2

7 Prädikat nonground/2

8 Prädikat unnumbervars/2

9 Prädikat unify_with_occurs_check/2

10 Prädikat call/3

11 Legende