File XLOG 2.2 compat

1 Predicate forall/2