SWI-Prolog Did You Know Did you know? SWI-Prolog has support for large, static tables Search Documentation:
PL_set_trace_action,term_t+action()