Did you know? SWI-Prolog can act as an http clientSearch Documentation:
SWI-Prolog owl logoPredicate forall/2

Sorry, No manual entry for forall/2