choice_point_profiler

assert_lwf_grounded(ID,_LWF) :- lwf_grounded(ID) -> true ; assertz(lwf_grounded(ID)).

get_next_id(X) :- retract(next_id(X)), X1 is X+1, assertz(next_id(X1)).

next_id(1).

portray_choice_points :-
    choice_point(Expr,Prio,ID),
    print(ID), print(' : '), print(Prio), print(' = '),
    translate:print_bexpr(Expr),nl,
    (lwf_grounded(ID) -> true ; print(' '),print('Not Grounded'),nl),
    choice_taken(ID,Choice,Nr),
    print(' '), print(Choice), print(' :: '), print(Nr),nl,
    fail.

portray_choice_points.

register_choice_point(Expr,Prio,_LWF,ID) :-
    choice_point(Expr,Prio,ID),!.

register_choice_point(Expr,Prio,LWF,ID) :-
    get_next_id(ID),
    assertz(choice_point(Expr,Prio,ID)),
    assert_lwf_grounded(ID,LWF).

visit_choice_point(ID,Nr) :-
    (retract(choice_taken(ID,Nr,Count)) -> true ; Count=0),
    C1 is Count+1,
    assertz(choice_taken(ID,Nr,C1)).