File XLOG 2.2 compat

1 Predicate forall/2

2 Predicate subsumes/2

3 Predicate subsumes_term/2

4 Predicate term_singletons/2

5 Predicate unify_with_occurs_check/2

6 Predicate ground/1

7 Predicate nonground/2

8 Predicate number_codes/2

9 Predicate term_hash/2

10 Predicate numbervars/3

11 Predicate unnumbervars/2

12 Legend

1 Predicate forall/2

bulging_link