From jan@swi.psy.uva.nl  Mon Dec 11 10:23:13 2000
Received: from gollem.swi.psy.uva.nl (gollem [145.18.152.30])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id KAA21939;
	Mon, 11 Dec 2000 10:23:13 +0100 (MET)
Received: from localhost (localhost [[UNIX: localhost]])
	by gollem.swi.psy.uva.nl (8.9.3/8.9.3/SuSE Linux 8.9.3-0.1) id KAA28911;
	Mon, 11 Dec 2000 10:20:42 +0100
From: Jan Wielemaker <jan@swi.psy.uva.nl>
Organization: SWI, University of Amsterdam
To: "jean-F. Dazy" <dazy@cnam.fr>, prolog@swi.psy.uva.nl,
        "dazy@cnam.fr" <dazy@cnam.fr>
Subject: Re: not with trace or not with fail ???
Date: Mon, 11 Dec 2000 10:16:33 +0100
X-Mailer: KMail [version 1.0.28]
Content-Type: text/plain
References: <3A22362F.5413CBE3@cnam.fr>
In-Reply-To: <3A22362F.5413CBE3@cnam.fr>
MIME-Version: 1.0
Message-Id: <00121110204201.28789@gollem>
Content-Transfer-Encoding: 8bit

On Mon, 27 Nov 2000, jean-F. Dazy wrote:
>?- not(v).
>ERROR: Undefined procedure: v/0
>
>
>?- unknown(_ , fail).
>Yes
>?- not(v).
>
>Yes
>
>it is dangerous  !
>2 differents semantics ????

Yes, the unknown flag (actually implemented through set_prolog_flag/2
these days) affects semantics.  It should be threated very carefully. 
Basicaly, only use it to run large complex programs written for old
Prolog systems for which this was the default or locally in a module
to take calculated advantage of the changed semantics.

Please note that with the unknown flag active, autoloading doesn't
work for that indicated module, so all required library predicates
must be impored explicitely.

	Cheers --- Jan

