SWI-Prolog Did You Know Did you know? the Profiler can speed up your code Search Documentation:
Predicate sub_var/2