Aborting without killing

Hi,

Running (say)

?- repeat, fail.

and executing thread_signal(main, abort) from another thread results in

% Execution Aborted

However, main is still running.

However, running

?- thread_create((repeat, fail), ID, [alias(mymain)]).

and executing thread_signal(mymain, abort) from another thread results
in mymain terminating with an exception '$aborted'.

So, is there a way to abort a currently running goal without also
killing the thread that runs it? Or is the thread 'main' in the above
example killed and then recreated again? Is that what is happening?

Best regards,
Torbjörn



-- 
Torbjörn Lager
Professor of General and Computational Linguistics
Department of Philosophy, Linguistics and Theory of Science
University of Gothenburg
Box 200, SE-405 30 Gothenburg, Sweden
Phone: +46317864962