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
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.
retract((m:head :- Body))failed.
DOC: Document updating the Docker library.
FIXED: Issue#714: transaction semantics on some platforms due to
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”
- ADDED: Answer subsumption benchmark.
- FIXED: library(udb_broadcast): determine subnet mask for 127...*
network. Jacob Friedman.
- FIXED: sparql_query/3: ignore white space in values. Johan Romme.
Bug introduced by ef7ee735df9445b061cecc23c5d707d51e470edd
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.