From lains@caramail.com  Fri Aug 18 11:17:06 2000
Received: from mail.caramail.com (mail.caramail.com [195.68.99.70])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id LAA05763
	for <prolog@swi.psy.uva.nl>; Fri, 18 Aug 2000 11:16:51 +0200 (MET DST)
Received: from caramail.com (www15.caramail.com [195.68.99.35])
	by mail.caramail.com (8.8.8/8.8.8) with SMTP id LAA12934
	for prolog@swi.psy.uva.nl; Fri, 18 Aug 2000 11:16:18 +0100 (WET DST)
Date: Fri, 18 Aug 2000 11:16:18 +0100 (WET DST)
Posted-Date: Fri, 18 Aug 2000 11:16:18 +0100 (WET DST)
From: Lionel Ains <lains@caramail.com>
To: prolog@swi.psy.uva.nl
Message-ID: <966593778022268@caramail.com>
X-Mailer: Caramail - www.caramail.com
Mime-Version: 1.0
Subject: Exceptions handling in foreign code
Content-Type: multipart/mixed; boundary="=_NextPart_Caramail_022268966593778_ID"

This message is in MIME format. Since your mail reader does not understand
this format, some or all of this message may not be legible.

--=_NextPart_Caramail_022268966593778_ID
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

Hello,

I would like to know more about exception handling inside a foreign code library.
In a non-deterministic predicate, if an exception is raised somewhere while the foreign 
non-deterministic predicate is still waiting for a redo, how can I clean the environment? (Is the 
predicate called with PL_CUTTED?).

If the foreign non-deterministic predicate raises itself an exception, does it have to clean the 
environment or is it recalled the same way as described in the question before (exception raised) to 
clean the environment?

Thank you for the answer,

Lionel
______________________________________________________
Bo=EEte aux lettres - Caramail - http://www.caramail.com


--=_NextPart_Caramail_022268966593778_ID--

