ENHANCED: provide precise location through prolog_load_context/2 term_position.