Print last choice point - Reply 2

grossdan · December 6, 2021, 11:29pm

print_chpoint :-
   prolog_current_choice(ChI),
   prolog_choice_attribute(ChI,frame,F),
   prolog_frame_attribute(F,goal,Goal),
   format('Last choice point: ~w', [ Goal ]).

how timely !