Correctly interrupt ^C and resume solver without side-effects!

[timvieira]

User should (as it can't yet, but should) be able to interrupt execution of the solver, inspect intermediate results with debugger, retract troublesome rules, etc.. and resume execution with out side-effects!

[jeisner]

Great! So should we close this non-issue? :-) What's the retraction command? And what do you mean by " inspect intermediate results with debugger"?

[timvieira]

Great! So should we close this non-issue? :-)

Pardon? it is an issue. It doesn't work yet. Hence the issue... I rephrased above.

What's the retraction command?

:- help retract_rule

And what do you mean by " inspect intermediate results with debugger"?

If you stop the debugger you should be able to query the "pre-solution" (which is not a /solution/ until the agenda is empty) as if the program where converged, i.e. "peek".

[jeisner]

Oh, I see, sorry.