Back
SWI-Prolog
Patches for SWI-Prolog x64
Windows
2 patches available
SWI-Prolog is a free implementation of the programming language Prolog, commonly used for teaching and semantic web applications.
SWI-Prolog x64 Version 10.0.2
Release Date
3/13/2026
Bug Fix?
Yes
Minor Release?
Yes
Patch Notes
SWI-Prolog Changelog from version 10.0.1 to 10.0.2$$$[Mar 14 2026]$$$$$$PORT: Fix cmake SDL3 import handling for non-standard configurations (PGO)$$$[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).
SWI-Prolog x64 Version 10.0.1
Release Date
2/17/2026
Bug Fix?
Yes
Minor Release?
Yes
Patch Notes
SWI-Prolog Changelog from version 10.0.0 to 10.0.1$$$[Feb 17 2026]$$$$$$TEST: added tests for library(record)$$$[Feb 18 2026]$$$$$$FIXED: reload_foreign_libraries/0. Failed with type error.$$$[Feb 17 2026]$$$$$$TEST: Fixed Debug build test on Windows to avoid C stack overflow. Based on PR by Eric Tauber. This replacement builds on the new Prolog flag build_type and rewrites the test suite to use PlUnit.$$$ADDED: Prolog flag build_type; representing the CMake build type used.$$$FIXED: library(main): make spy options default to the user module.$$$[Feb 15 2026]$$$$$$BUILD: added comments to scripts/configure$$$BUILD: added comments to CMakeLists.txt for protobufs test$$$$$$ For more details refer - https://www.swi-prolog.org/ChangeLog?branch=stable&from=10.0.0&to=10.0.1
SWI-Prolog x64 Version 10.0.1
Release Date
2/17/2026
Bug Fix?
Yes
Minor Release?
Yes
Patch Notes
SWI-Prolog Changelog from version 10.0.0 to 10.0.1$$$[Feb 17 2026]$$$$$$TEST: added tests for library(record)$$$[Feb 18 2026]$$$$$$FIXED: reload_foreign_libraries/0. Failed with type error.$$$[Feb 17 2026]$$$$$$TEST: Fixed Debug build test on Windows to avoid C stack overflow. Based on PR by Eric Tauber. This replacement builds on the new Prolog flag build_type and rewrites the test suite to use PlUnit.$$$ADDED: Prolog flag build_type; representing the CMake build type used.$$$FIXED: library(main): make spy options default to the user module.$$$[Feb 15 2026]$$$$$$BUILD: added comments to scripts/configure$$$BUILD: added comments to CMakeLists.txt for protobufs test$$$$$$ For more details refer - https://www.swi-prolog.org/ChangeLog?branch=stable&from=10.0.0&to=10.0.1
Interested in automating patching for SWI-Prolog x64?