Did you know ... Search Documentation:
Title for pldoc(default)
Branch: development (switch to stable),
version to version

SWI-Prolog Changelog from version 9.3.10 to 9.3.11

[Sep 5 2024]

  • DOC: Update 32/64 bit notes
  • FIXED: #1317 thread_exit/1 can crash after changes to thread_signal/2.
  • APPLE: Add code signing for creating the .dmg image The image is signed if $CODESIGN_ID is set to the certificate id to be used with codesign -s. Unfortunately, this is not the whole story. As a result, we can no longer load shared object that are not part of the disk image, which means we cannot use Xquartz, Python or Java.

[Sep 4 2024]

  • MODIFIED: Apple: better support MacOS bundle hierarchy Make the binary bundle match the MacOS guidelines. In particular
    • Move the Prolog "home" to Contents/Resources/swipl
    • Move modules (*.so files) to Contents/Plugins/swipl
    • Remove the need for swipl.home by using compiled-in relative path to find the home.
    • Added a flag bundle to make the system aware it is using the bundle hierarchy.
    • Moved foreign path definitions from init.pl to the library(shlib), where we now use conditional compilation to get the paths right for the target platform.
  • FIX: include stdbool

[Sep 3 2024]

  • DOC: Explain issues and features of the C-API Boolean functions.
  • DOC: Fix bool types for PL_* functions
  • MODIFIED: Return type of most C API functions is now bool This should have very few consequences to applications, even preserving binary compatibility. The change adopts the upcoming C23 standard and makes it easier to understand the API.

[Sep 2 2024]

  • CLEANUP: Use true and false throughout the core C code.
  • COMPAT: Adopt stdbool.h This patch avoids conflicts the type bool and its values true and false as defined in <stdbool.h> while these will be promoted to C keywords in the upcoming C23 standard.

[Aug 31 2024]

[Aug 30 2024]

  • TEST: Avoid interference between thread_wait tests. Tests send concurrent signals using a detached thread that could still be running, affecting subsequent tests.
  • TEST: Test for getting an I/O error on a broken pipe may succeed. Turns out the pipe size on Asahi/Fedoare 40 is 256K. Now writing a max of 1.2Mb rather than 100K.

[Aug 29 2024]

  • ADDED: Prolog flag dir_sep Complements path_sep and path_max to get properties on the file naming conventions and limits.

[Aug 28 2024]

  • FIXED: #1311 Possible stack corruption in PL_unify_text() Cause of this crash is a failure to verify return from PL_new_term_ref(). There were more issues with the code though. Lack of local space could corrupt a string living on the stack. We can discard the term reference.

[Aug 27 2024]

  • INSTALL: modify cmake ilink to install symlink in CMAKE_INSTALL_PREFIX This ensures that when installing package selections to different install prefixes, the links end up in the right location. This is used by package maintainers to generate multiple packages from the same build.

[Aug 26 2024]

  • FIXED: swipl-win.exe: Run/New thread menu

[Aug 24 2024]

  • SNAP: added libxinerama1

Package debian

[Aug 29 2024]

  • ADDED: Debian/PPA package swi-prolog-win This package provides the Qt console.

Package archive

[Sep 1 2024]

  • TEST: Try to make this pass using address sanitizer.

Package clib

[Sep 3 2024]

  • COMPAT: Use preferred C API.

[Sep 2 2024]

  • COMPAT: Avoid conflicts over th stdbool.h constants true and false.

Package jpl

[Sep 2 2024]

  • COMPAT: Get bool from stdbool.h

[Sep 1 2024]

  • TEST: Disable prolog-in-java tests when using a sanitizer

[Aug 27 2024]

  • INSTALL: modify cmake ilink calls to not include CMAKE_INSTALL_PREFIX

Package odbc

[Sep 2 2024]

  • COMPAT: Avoid conflicts over th stdbool.h constants true and false.

Package semweb

[Apr 5 2024]

  • FIXED: rdf_murmer_hash def and decl type agreement

[Aug 25 2024]

  • FIXED: #116 Allow for blank node as GRAPH label. Jos de Roo.

Package swipl-win

[Aug 27 2024]

  • INSTALL: modify cmake ilink calls to not include CMAKE_INSTALL_PREFIX

Package swipy

[Aug 31 2024]

Package xpce

[Sep 5 2024]

[Sep 4 2024]

  • FIX: conflicting declarations noticed only by clang (not gcc)

[Aug 26 2024]

  • SCALE: Replace X11 right_ptr cursors by arrow. Only the major cursors of the X11 cursor font are replaced by scalable cursors from the theme. Using right_ptr therefore shows a very tiny cursor on hi-res screens.
  • FIXED: Possible buffer overrun in list_browser->insert_self

[Aug 25 2024]

  • FIXED: #35 new resource length as e.g. 3.8mm are locale sensitive This causes xpce tools to fail to start if the locale defines the decimal point to be anything different from '.'.