Version 3.8.6 is mainly a bugfix release. New features:
SP_atomdocumented as a data type.
library(jasper)and Java foreign resources now support null object references. See Jasper Library Predicates.
library(jasper)now works with JDK 1.3 (with some restrictions) and JDK 1.3.1 as well as JDK 1.2.2. See Supported Java Versions.
InstallSICStusshould now understand TclPro directory structure when configuring Tcl/Tk.
spld --sicstus=<PATH>now works. You are unlikely to need it though.
SPTerm.delete()sometimes did not enable reuse of the deleted SP_term_ref.
use_module(library(jasper)), the short pathname of the SICStus Prolog\bin folder is on the PATH environment variable. As a work-around for the underlying Win32
LoadLibrarybug SICStus will now always use the long pathname when loading foreign resources.
"Exception: 0xc000008e (EXCEPTION_FLT_DIVIDE_BY_ZERO)". This also happened for some applications that use Visual Basic for Applications (VBA) with the SICStus Visual Basic module (vbsp.dll). A thorough discussion of this issue and a solution is available in library/vbsp/sp_fpwrap.h. This solution is now used by the SICStus Visual Basic module. We have had reports of this issue affecting FileMaker, Rational Rose and Visio.
library(bdb)now complains if run with a different version of Berkeley DB than what was used for building it (BDB 2.7.7).
malloc()for memory allocation when invoking SICStus from Java, also on Linux. The default memory allocation method (using
brk) is not thread safe on any platform.
dif/2and friends: memory management bug.
format/[2,3]: avoid spurious time-out exceptions.
number_chars/2, number_codes/2: bug affecting empty lists.
library(bdb)now verifies that BDB version 2.7.7 is used.
library(clpfd): missing distribution files; buggy action handling of user-defined global constraints; wrong answers in
cumulative/[4,5]; integer overflow checks; error detection in FD set operations; complexity of
fd_copy_term/3; entailment action in
library(clpq,clpr): bug affecting
bb_inf/3and strict inequalities.
library(jasper)now enforces the use of
mallocfor memory management, also on Linux.
sockets:socket_buffering/4: bug handling 3rd arg.
library(tcltk): some demos depended on current working directory.
library(xref): handling of