Ann: SWI-Prolog 5.6.45

Hi,

Uploaded SWI-Prolog 5.6.45. Few changes, but fixed one serious bug
introduced in a recent rewrite to findall/3 and sort/2 that could cause a
crash or even wrong result if findall produced large answersets or sort
is used on long lists.

Also some ongoing work synchronising thread support with YAP and XSB
along the ISO draft on threads. There is still some discussion on
mutex_property/2, so be prepared for further changes. I don't handle
backward compatibility of mutex_property/2 as critical as just about the
only sensible use of this predicate is for debugging purposes.
SWI-Prolog current_mutex/3 is moved to the compatibility library and
removed from the documentation.

        --- Jan

================================================================
SWI-Prolog changes since version 5.6.44
================================================================

================================================================
+++ b/ChangeLog
+  * CLEANUP: Fix some gcc 4.2.1 warnings.  None of these are bugs.
+
+VERSION 5.6.45 (October 22, 2007)
+
+  * MODIFIED: Replaced mutex property locked by status(locked(Owner,Count)),
+    after discussion with XSB and YAP.  As mutex_property/2 now completely
+    replaces current_mutex/3, this predicate is moved to the backcomp.pl
+    library.
+
+  * ADDED: implemented the max_size property for message queues.
+
+  * FIXED: Wrong calls to GC from sort/2 and findall/3. Can cause crashes
+    as well as errornous results.
+
+VERSION 5.6.44 (October 15, 2007)



------------
For further info, please visit http://www.swi-prolog.org/

To unsubscribe, send a plaintext mail with "unsubscribe prolog <e-mail>"
in its body to majordomo@...