🚀 go-pugleaf

In <6378@goanna.cs.rmit.oz.au> ok@goanna.cs.rmit.oz.au (Richard A. O'Keefe)
wrote:

> No, I'm afraid that doesn't do the job.  It can only restore the
> bindings of variables that (occur in the bindings of variables
> that) are visible at the point of the throw.  If I do
> 
> 	var(X), catch(Ball, (X = 1, p(Ball)), true)
> 
> there is no definition I can give to p/1 which will result in the
> value of X being preserved.

that's correct and I didn't imply that you wouldn't have to rewrite - in
particular: add arguments to - some of the predicates in your program;
in the example above, X should be visible at the point of the throw, so
you have to make it a parameter of p - that's why I said that ot doesn't
look nice

I appreciate Richard's comments about the distiction between non-local
control transfer and exception handling, but it seems to me that Prolog
can do both with just one mechanism - or one pair of builtin predicates;

and for me, there remains the question: should WG17 try to standardize
non-local control transfer and exception handling ?

Bart Demoen