Subject: SWI-Prolog 3.3.0 Beta-6

From: Jan Wielemaker <[email-masked]>
Date: Mon, 20 Dec 1999 16:39:56 +0100

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