Did you know? the Profiler can speed up your codeSearch Documentation:
SWI-Prolog owl logoPredicate halt/0