From jan@swi.psy.uva.nl  Mon Dec 20 16:51:09 1999
Received: from gollem.swi.psy.uva.nl (root@gollem [145.18.114.15])
	by swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id QAA27395
	for <prolog@swi.psy.uva.nl>; Mon, 20 Dec 1999 16:51:09 +0100 (MET)
Received: from localhost (localhost [[UNIX: localhost]])
	by gollem.swi.psy.uva.nl (8.9.3/8.9.3) id QAA03308
	for prolog; Mon, 20 Dec 1999 16:51:19 +0100
From: Jan Wielemaker <jan@swi.psy.uva.nl>
Organization: SWI, University of Amsterdam
To: prolog@gollem.swi.psy.uva.nl
Subject: SWI-Prolog 3.3.0 Beta-6
Date: Mon, 20 Dec 1999 16:39:56 +0100
X-Mailer: KMail [version 1.0.21]
Content-Type: text/plain
MIME-Version: 1.0
Message-Id: <99122016511903.19817@gollem>
Content-Transfer-Encoding: 8bit

Hi,

The 6-th beta of 3.3.0 is now at

	ftp://swi.psy.uva.nl/pub/SWI-Prolog/BETA/

in source, Linux RPM and Windows-binary.  It is the result of running an
ISO compatibility test-suite from

	http://www.sju.edu/~jhodgson/pub/suite.tar.gz

There are still some minor problems.  Please check the prolog-flag iso
for differences between default behaviour and ISO that can be modified
using this flag.

This means:

	* Quite a few exceptions were added and some modified.
	* A few bugfixes (atom_concat/3, number_chars/2)
	* Added some omissions: close/2, current_predicate/1
	  and char_conversion/2 (and friends).
	* Moved some edinburgh-predicates into a new library(edinburgh)
	  (unknown/2, debug/0, nodebug/0, display/[1,2]).
	* Modified ! (cut) to be fully ISO compliant:

		+ Cut now works on complex goals passed to call/1:
		  call((repeat, !, fail)) now indead fails.
		+ Scope of the cut in condition-part of if-then-else	
		  is limited to the condition.
		+ Scope of the cut in \+ is limited to the argument
	          of \+/1.

Also upgraded to XPCE RPM file (mainly to deal with more strict error
checking in =../2).

	Regards --- Jan
		  

