Branch: development (switch to stable),

version 10.1.5 10.1.4 10.1.3 10.1.2 10.1.1 10.1.0 9.3.36 9.3.35 9.3.34 9.3.33 9.3.32 9.3.31 9.3.30 9.3.29 9.3.28 9.3.27 9.3.26 9.3.25 9.3.24 9.3.23 9.3.22 9.3.21 9.3.20 9.3.19 9.3.18 9.3.17 9.3.16 9.3.15 9.3.14 9.3.13 9.3.12 9.3.11 9.3.10 9.3.9 9.3.8 9.3.7 9.3.6 9.3.5 9.3.4 9.3.3 9.3.2 9.3.1 9.3.0 9.1.22 9.1.21 9.1.20 9.1.19 9.1.18 9.1.17 9.1.16 9.1.15 9.1.14 9.1.13 9.1.12 9.1.11 9.1.10 9.1.9 9.1.8 9.1.7 9.1.6 9.1.5 9.1.4 9.1.3 9.1.2 9.1.1 9.1.0 8.5.20 8.5.19 8.5.18 8.5.17 8.5.16 8.5.15 8.5.14 8.5.13 8.5.12 8.5.11 8.5.10 8.5.9 8.5.8 8.5.7 8.5.6 8.5.5 8.5.4 8.5.3 8.5.2 8.5.1 8.5.0 8.3.29 8.3.28 8.3.27 8.3.26 8.3.25 8.3.24 8.3.23 8.3.22 8.3.21 8.3.20 8.3.19 8.3.18 8.3.17 8.3.16 8.3.15 8.3.14 8.3.13 8.3.12 8.3.11 8.3.10 8.3.9 8.3.8 8.3.7 8.3.6 8.3.5 8.3.4 8.3.3 8.3.2 8.3.1 8.3.0 8.1.32 8.1.31 8.1.30 8.1.29 8.1.28 8.1.27 8.1.26 8.1.25 8.1.24 8.1.23 8.1.22 8.1.21 8.1.20 8.1.19 8.1.18 8.1.17 8.1.16 8.1.15 8.1.14 8.1.13 8.1.12 8.1.11 8.1.10 8.1.9 8.1.8 8.1.7 8.1.6 8.1.5 8.1.4 8.1.3 8.1.2 8.1.1 8.1.0 7.7.25 7.7.24 7.7.23 7.7.22 7.7.21 7.7.20 7.7.19 7.7.18 7.7.17 7.7.16 7.7.15 7.7.14 7.7.13 7.7.12 7.7.11 7.7.10 7.7.9 7.7.8 7.7.7 7.7.6 7.7.5 7.7.4 7.7.3 7.7.2 7.7.1 7.7.0 7.5.15 7.5.14 7.5.13 7.5.12 7.5.11 7.5.10 7.5.9 7.5.8 7.5.7 7.5.6 7.5.5 7.5.4 7.5.3 7.5.2 7.5.1 7.5.0 7.3.35 7.3.34 7.3.33 7.3.32 7.3.31 7.3.30 7.3.29 7.3.28 7.3.27 7.3.26 7.3.25 7.3.24 7.3.23 7.3.22 7.3.21 7.3.20 7.3.19 7.3.18 7.3.17 7.3.16 7.3.15 7.3.14 7.3.13 7.3.12 7.3.11 7.3.10 7.3.9 7.3.8 7.3.7 7.3.6 7.3.5 7.3.4 7.3.3 7.3.2 7.3.1 7.3.0 7.1.37 7.1.36 7.1.35 7.1.34 7.1.33 7.1.32 7.1.31 7.1.30 7.1.29 7.1.28 7.1.27 7.1.26 7.1.25 7.1.24 7.1.23 7.1.22 7.1.21 7.1.20 7.1.19 7.1.18 7.1.17 7.1.16 7.1.15 7.1.14 7.1.13 7.1.12 7.1.11 7.1.10 7.1.9 7.1.8 7.1.7 7.1.6 7.1.5 7.1.4 7.1.3 7.1.2 7.1.1 7.1.0 6.5.3 6.5.2 6.5.1 6.5.0 6.3.19 6.3.18 6.3.17 6.3.16 6.3.15 6.3.14 6.3.13 6.3.12 6.3.11 6.3.10 6.3.9 6.3.8 6.3.7 6.3.6 6.3.5 6.3.4 6.3.3 6.3.2 6.3.1 6.3.0 6.1.13 6.1.12 6.1.11 6.1.10 6.1.9 6.1.8 6.1.7 6.1.6 6.1.5 6.1.4 6.1.3 6.1.2 6.1.1 6.1.0 5.11.37 5.11.36 5.11.35 5.11.34 5.11.33 5.11.32 5.11.31 5.11.30 5.11.29 5.11.28 5.11.27 5.11.26 5.11.25 5.11.24 5.11.23 5.11.22 5.11.21 5.11.20 5.11.19 5.11.18 5.11.17 5.11.16 5.11.15 5.11.14 5.11.13 5.11.12 5.11.11 5.11.10 5.11.9 5.11.8 5.11.7 5.11.6 5.11.5 5.11.4 5.11.3 5.11.2 5.11.1 5.11.0 5.10.0 5.9.11 5.9.10 5.9.9 5.9.8 5.8.3 5.9.7 5.9.6 5.9.5 5.9.4 5.8.2 5.9.3 5.8.1 5.9.2 5.9.1 5.9.0 5.8.0 5.8.0-rc1 5.7.15 5.7.14 5.7.13 5.7.12 5.7.11 5.7.10 5.7.9 5.7.8 5.7.7 5.7.6 5.7.5 5.6.64 5.7.4 5.7.3 5.6.63 5.7.2 5.6.62 5.6.61 5.7.1 5.6.60 5.7.0 5.6.59 5.6.58 5.6.57 5.6.56 5.6.55 5.6.54 5.6.53 5.6.52 5.6.51 5.6.50 5.6.49 5.6.48 5.6.47 5.6.46 5.6.45 5.6.44 to version 10.1.5 10.1.4 10.1.3 10.1.2 10.1.1 10.1.0 9.3.36 9.3.35 9.3.34 9.3.33 9.3.32 9.3.31 9.3.30 9.3.29 9.3.28 9.3.27 9.3.26 9.3.25 9.3.24 9.3.23 9.3.22 9.3.21 9.3.20 9.3.19 9.3.18 9.3.17 9.3.16 9.3.15 9.3.14 9.3.13 9.3.12 9.3.11 9.3.10 9.3.9 9.3.8 9.3.7 9.3.6 9.3.5 9.3.4 9.3.3 9.3.2 9.3.1 9.3.0 9.1.22 9.1.21 9.1.20 9.1.19 9.1.18 9.1.17 9.1.16 9.1.15 9.1.14 9.1.13 9.1.12 9.1.11 9.1.10 9.1.9 9.1.8 9.1.7 9.1.6 9.1.5 9.1.4 9.1.3 9.1.2 9.1.1 9.1.0 8.5.20 8.5.19 8.5.18 8.5.17 8.5.16 8.5.15 8.5.14 8.5.13 8.5.12 8.5.11 8.5.10 8.5.9 8.5.8 8.5.7 8.5.6 8.5.5 8.5.4 8.5.3 8.5.2 8.5.1 8.5.0 8.3.29 8.3.28 8.3.27 8.3.26 8.3.25 8.3.24 8.3.23 8.3.22 8.3.21 8.3.20 8.3.19 8.3.18 8.3.17 8.3.16 8.3.15 8.3.14 8.3.13 8.3.12 8.3.11 8.3.10 8.3.9 8.3.8 8.3.7 8.3.6 8.3.5 8.3.4 8.3.3 8.3.2 8.3.1 8.3.0 8.1.32 8.1.31 8.1.30 8.1.29 8.1.28 8.1.27 8.1.26 8.1.25 8.1.24 8.1.23 8.1.22 8.1.21 8.1.20 8.1.19 8.1.18 8.1.17 8.1.16 8.1.15 8.1.14 8.1.13 8.1.12 8.1.11 8.1.10 8.1.9 8.1.8 8.1.7 8.1.6 8.1.5 8.1.4 8.1.3 8.1.2 8.1.1 8.1.0 7.7.25 7.7.24 7.7.23 7.7.22 7.7.21 7.7.20 7.7.19 7.7.18 7.7.17 7.7.16 7.7.15 7.7.14 7.7.13 7.7.12 7.7.11 7.7.10 7.7.9 7.7.8 7.7.7 7.7.6 7.7.5 7.7.4 7.7.3 7.7.2 7.7.1 7.7.0 7.5.15 7.5.14 7.5.13 7.5.12 7.5.11 7.5.10 7.5.9 7.5.8 7.5.7 7.5.6 7.5.5 7.5.4 7.5.3 7.5.2 7.5.1 7.5.0 7.3.35 7.3.34 7.3.33 7.3.32 7.3.31 7.3.30 7.3.29 7.3.28 7.3.27 7.3.26 7.3.25 7.3.24 7.3.23 7.3.22 7.3.21 7.3.20 7.3.19 7.3.18 7.3.17 7.3.16 7.3.15 7.3.14 7.3.13 7.3.12 7.3.11 7.3.10 7.3.9 7.3.8 7.3.7 7.3.6 7.3.5 7.3.4 7.3.3 7.3.2 7.3.1 7.3.0 7.1.37 7.1.36 7.1.35 7.1.34 7.1.33 7.1.32 7.1.31 7.1.30 7.1.29 7.1.28 7.1.27 7.1.26 7.1.25 7.1.24 7.1.23 7.1.22 7.1.21 7.1.20 7.1.19 7.1.18 7.1.17 7.1.16 7.1.15 7.1.14 7.1.13 7.1.12 7.1.11 7.1.10 7.1.9 7.1.8 7.1.7 7.1.6 7.1.5 7.1.4 7.1.3 7.1.2 7.1.1 7.1.0 6.5.3 6.5.2 6.5.1 6.5.0 6.3.19 6.3.18 6.3.17 6.3.16 6.3.15 6.3.14 6.3.13 6.3.12 6.3.11 6.3.10 6.3.9 6.3.8 6.3.7 6.3.6 6.3.5 6.3.4 6.3.3 6.3.2 6.3.1 6.3.0 6.1.13 6.1.12 6.1.11 6.1.10 6.1.9 6.1.8 6.1.7 6.1.6 6.1.5 6.1.4 6.1.3 6.1.2 6.1.1 6.1.0 5.11.37 5.11.36 5.11.35 5.11.34 5.11.33 5.11.32 5.11.31 5.11.30 5.11.29 5.11.28 5.11.27 5.11.26 5.11.25 5.11.24 5.11.23 5.11.22 5.11.21 5.11.20 5.11.19 5.11.18 5.11.17 5.11.16 5.11.15 5.11.14 5.11.13 5.11.12 5.11.11 5.11.10 5.11.9 5.11.8 5.11.7 5.11.6 5.11.5 5.11.4 5.11.3 5.11.2 5.11.1 5.11.0 5.10.0 5.9.11 5.9.10 5.9.9 5.9.8 5.8.3 5.9.7 5.9.6 5.9.5 5.9.4 5.8.2 5.9.3 5.8.1 5.9.2 5.9.1 5.9.0 5.8.0 5.8.0-rc1 5.7.15 5.7.14 5.7.13 5.7.12 5.7.11 5.7.10 5.7.9 5.7.8 5.7.7 5.7.6 5.7.5 5.6.64 5.7.4 5.7.3 5.6.63 5.7.2 5.6.62 5.6.61 5.7.1 5.6.60 5.7.0 5.6.59 5.6.58 5.6.57 5.6.56 5.6.55 5.6.54 5.6.53 5.6.52 5.6.51 5.6.50 5.6.49 5.6.48 5.6.47 5.6.46 5.6.45 5.6.44

SWI-Prolog Changelog from version 10.1.4 to 10.1.5

[Mar 11 2026]

• ENHANCED: Messages to use DCG Name//Arity when applicable.
• FIXED: QLF compilation: preserve non_terminal predicate_property/2.
• ADDED: library(tableutil): toplevel utilities This library provides toplevel utilities to dump tables, their relations and statistics.
• PORT: #1481 Removed RETSIGTYPE configuration The CMake config seems broken for gentoo using C23. As there are no systems that use int for signal handler return value, there is no need for this configuration.
• FIXED: Make compile again for single threaded and WASM targets.
• CLEANUP: Prolog flag handling. Cleanup the implementation, mostly by splitting too large functions. Clarified documentation with respect to thread interaction. Added an option local(true) to create_prolog_flag/3 which create a flag only for the calling thread. Clarified and fixed default behaviour, which is for create_prolog_flag/3 to set the flag globally, i.e., make it available with this value for any thread. This now updates both the local and global flag table (before it updated only the global table).

[Mar 8 2026]

• DOC: Use PlDoc for the documentation of library(threadutil)
• CLEANUP: Move thread_alias/2 to library(thread_util). The core functionality is now provided by set_thread/2.

[Mar 6 2026]

• ADDED: thread_property/2: debug_mode(-Boolean) property

[Mar 5 2026]

• ADDED: Assign threads the notion of a class. This is notably intended to control debugging. Possibly this can be extended to other features such as memory management policies, termination, etc. Future versions may also allow for multiple classes. Related changes
  • Add class(Class) to options of thread_create/3
  • Add class(Class) to thread_property/2 and set_thread/2
  • Add thread_class to PL_thread_attributes_t
  • Allow tdebug/1 and tnodebug/1 to address a class of threads
  • Adapt debugging/0 and threads/0.
  • Adapt the GUI thread monitor.
  • Use classes in main system, Epilog and the HTTP server.

  Practical consequence:

  • Use ?- tdebug(http). to activate debugging in HTTP worker threads. This reliably activates spy points in the HTTP server.

[Mar 6 2026]

• ADDED: PL_current_prolog_flag(): type PL_BOOL
• MODIFIED: visible/1: default to include cut_call This shows calls to ! in the tracer.
• FIXED: thread_property/2: system_thread_id on Linux Failed to initialize this on systems with the getid() function (primarily Linux, but possibly other platforms using glibc).
• FIXED: Make updateAlerted() thread-safe Could lead to race conditions when this function is called from multiple threads (usually the target and some external thread).

[Mar 4 2026]

• ADDED: prolog:complete_input/4: enhanced CLI TAB completion - Complete variables in the query using Emacs dabrev completion - Complete in $Var for saved toplevel variables.

[Mar 1 2026]

• BUILD: Fixed PGO compilation for non-MSVC
• TEST: empty file position tests.

[Feb 27 2026]

• CMAKE: Add MSVC support for Profile-Guided Optimization

[Mar 1 2026]

• ENHANCED: Message when running the toplevel using initialization/1.

[Feb 28 2026]

• FIXED: #1478 LibBF mpz_import() emulation for leading zero-bytes. Lead to undefined behaviour in random number generation.
• UBAN: #1478 Avoid undefined arithmetic on NULL pointer (benign).

[Feb 24 2026]

• FIXED: predicate_label/2: avoid importing targets into system.

[Feb 23 2026]

• PPA: Fixup generating PPAs for both SDL and non-SDL versions.

Package debian

[Feb 23 2026]

• PPA: Dropped libedit. Using bundled version.

Package http

[Mar 6 2026]

• ADDED: Set class property for created threads.

Package protobufs

[Feb 27 2026]

• CLEANUP: remove absolute path from generated _pb.pl, fix typos

[Feb 22 2026]

• TEST: fixed typo that prevent interop test from running

Package xpce

[Mar 11 2026]

• ENHANCED: Capture main thread messages to current Epilog using hyperlinks.
• ADDED: PceEmacs Prolog mode: set spy point from goal and head popup.
• PORT: Removed RETSIGTYPE config Outdates as any reasonable still alive system uses void.

[Mar 8 2026]

• FIXED: Epilog: Possible access to freed object when closing.

[Mar 7 2026]

• ENHANCED: Thread monitor Show more of the status of threads and improve popup menu actions. Improve disabling popup entries and add an entry to toggle debug mode for classes of threads.

[Mar 6 2026]

• ENCHANCED: GUI tracer control.
• ADDED: Epilog: use thread classes.

[Mar 2 2026]

• FIXED: PceEmacs: possible infinite loop in dabbrev_expand. editor->dabbrev_expand can loop if a secondary or ternary search for candidates only results in candidates that are already rejected by the user from earlier candidate searches.

[Feb 26 2026]

• ENHANCED: Improve scroll wheel handling. Notably get more natural scroll speed on MacOS trackpads
• FIX: Pass image (not surf) to my_cairo_check_surface in ws_load_image_file

[Feb 23 2026]

• BUILD: Build in headless mode.