Did you know? SWI-Prolog has a ProfilerSearch Documentation:
SWI-Prolog owl logoPredicate compare/3