File XLOG 3.5 hiord

1 Predicate numbervars/3