SWI-Prolog Did You Know Did you know? SWI-Prolog has a Profiler Search Documentation:
Predicate ord_list_to_rbtree/2