File XLOG 3.5 hiord

1 Predicate numbervars/3

2 Predicate unnumbervars/3

3 Predicate maxvars/2

4 Predicate call/3

5 Predicate free_variables/3

6 Legend