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

6 Predicate term_singletons/2

7 Predicate nonground/2

8 Predicate unnumbervars/2

9 Predicate unify_with_occurs_check/2

10 Predicate call/3

11 Legend

1 Predicate forall/2

cross_link