And it turns out that the information can be output in a nice form (as suggested by @swi in Print last choice point):
print_choicepoint :-
prolog_current_choice(ChI),
prolog_choice_attribute(ChI,frame,F),
prolog_frame_attribute(F,goal,Goal),
format("Last choice point: ~q~n", [Goal]).