Re: [Xsb-development] assert leaves behind choicepoint(s) ...

[Bart D. <Bar...@cs...>]

> Can you point me to some information about what good choice-point
> profiling should look like?

How about

?- det(a).
/* choice points are left by */
d/0.
c/0.
b/0.
a/0.


or

a/0 called in total 1 times
a/0 created once a choice point
        b/0 called once from a/0
        c/0 called twice from a/0
        d/0 called 4 times from a/0

c/0 called in total 2 times
c/0 created twice a choice point

b/0 called in total 1 times
b/0 created once a choice point

d/0 called in total 4 times
d/0 created 4 times a choice point

(you have now almost enough information to reconstruct the
artificial program :-)

Bart