Dear SWI-Prolog user,
I’m happy to annouce SWI-Prolog 8.3.14. This is mainly a minor
maintenance release fixing some bugs and enhancing documentation. It is
good to see that notably improving the documentation is becomming more
and more a community effort.
Enjoy --- Jan
SWI-Prolog Changelog since version 8.3.13
-
FIXED: Consistent answer count admin for answer subsumptive
tabling. Resulted in “OOPS: trie_property/2: counted %zd values,
admin says %zd\n” messages. -
ENHANCED: library(aggregate) to hide internal details from the
debugger. Suggested by Peter Ludemann. -
ADDED: body_term_calls/2 to library(prolog_code).
-
DOC: Slight touches to the documentation.
-
FIXED: Handling of the Prolog flag
compile_meta_arguments
. -
ADDED: prolog_listen/3: allow naming an event callback using a
name(Name) option. Registering a callback on the same channel with the
same name updates the associated goal rather than adding a new one. -
FIXED: Save/restore whether we are in monotonic answer propagation
when doing a save/restore of the tabling status. -
FIXED:
retract((m:head :- Body))
failed. -
DOC: Document updating the Docker library.
-
FIXED: Issue#714: transaction semantics on some platforms due to
missingvolatile
declaration. -
FIXED: Typo in MemoryBarrier() based sync macros.
-
DOC: Reformat textdebugger.md Surround example predicate indicators
(/) with double backticks (``) to prevent auto linking. -
DOC: Fix typos
-
ADDED: Track events on answer tries using prolog_listen/2,3
-
FIXED: Error handling in sending predicate events.
-
ENHANCED: Allow listening on a predicate before it is defined.
-
DOC: Fix priority of
|
operator. Spotted by Falco Nogatz. -
FIXED: protect dynamic clauses in continuations. This patch solves
the same problem as cca23badcbfb2dad7089696348aae56e50b84a3c, but also
protects the clause itself during the execution of the continuation. -
FIXED: Issue#706: call_continuation/1: environment clause reference
cannot be from the blob in the continuation as this may be reclaimed
in AGC. May cause a crash while getting a backtrace from restarted
continuation. GC also uses the clause info, so this can probably
crash as well. Reported by David Tonhofer. -
PORT: Set MACOSX_DEPLOYMENT_TARGET for building the MacOS dependencies.
-
DOC: Corrext examples for rational numbers to use lowercase “r”
instead of formerly discussed “R”
Package bench
- ADDED: Answer subsumption benchmark.
Package clib
- FIXED: library(udb_broadcast): determine subnet mask for 127...*
network. Jacob Friedman.
Package semweb
- FIXED: sparql_query/3: ignore white space in values. Johan Romme.
Bug introduced by ef7ee735df9445b061cecc23c5d707d51e470edd
Package xpce
-
FIXED: Issue#19: Possibly buffer overflow and incorrect error message
if XPCE cannot connect to the given display. -
FIXED: Example defaults file: emacs_prolog_mode.dependency_directive
class variable must be quoted.