From: Bart D. <Bar...@cs...> - 2002-08-31 09:39:06
|
> The update is very simple: I want to replace the goals > > call_query(X) > > in x_interp.P with > > catch(call_query(X),Msg,default_exception(Msg)) That is a good idea - in this way, you will be finally able to issue the self contradicting error message "Caught uncaught exception" (or something of that kind). What you will do to call_query works fine in many Prolog systems. The interaction with push_abort_cutpoint doesn't look like a problem, but I seem to remember that I voiced disgust with it long ago - don't remember why. In any case, you can implement abort as abort :- throw('some ball nobody else is likely/allowed to catch/throw except the toplevel'). gives you a slower abort that the one you are used to - but that should not be a big concern > after all, Bart wrote catch and throw Terry, you must have done some crucial things too wrt cutting over tables etc. no ? Cheers Bart |