File XLOG 2.2 compat

1 Predicate forall/2

2 Predicate numbervars/3

3 Predicate subsumes/2

4 Predicate subsumes_term/2

5 Predicate term_singletons/2

6 Predicate unnumbervars/2

7 Predicate unify_with_occurs_check/2

8 Predicate call/3

9 Predicate ground/1

10 Predicate nonground/2

11 Predicate acyclic_term/1

12 Legend

1 Predicate forall/2

cross_link