Did you know? how to submit a patchSearch Documentation:
SWI-Prolog owl logoPredicate forall/2