Branch: development (switch to stable),

version 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 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 9.3.15 to 9.3.18

[Jan 5 2025]

• FIXED: library(prolog_colour): misleading colouring of Dict.field Field was flagged as an error (no_function).
• DOC: sort/4 stable sort example. Suggested by Pierpaolo Bernardi.

[Jan 4 2025]

• ASAN: Avoid runtime errors on field[1]
• PORT: More C99 unspecified array at end of struct issues.
• PORT: Use portable definition of struct clause
• PORT: Use C99 constructs for a portable version of struct functor Structs may use type name[] as last field for a dynamic array.

[Jan 3 2025]

• ENHANCED: Simplify generating a joined key for multiple arguments.
• ENHANCED: app splfr to use new argv_options/4 ability to pass unknown options.
• ADDED: argv_options/4: option unknown_option(pass) This passes unknown options to the positional argument list without warning. This is intended for processing some options while some downstream component processes the remaining options.

[Jan 2 2025]

• MODIFIED: Turn SICStus splfr script into a SWI-Prolog app Allows for swipl splfr [option..] input ...

  Patch also fixes typing in sicstus.h, check the return of PL_put_term() and adds SP_cons_functor().

• DOC: spellchecked documentation

[Jan 1 2025]

• CLEANUP: Clause indexing code. Split into smaller functions, use bool type, avoid goto, add more comments, etc. This is a preparation before improvements.

[Dec 30 2024]

• ADDED: foldall/4. Suggested by Boris Vassilev.
• DOC: clarified (new) destructive assignment complexity.
• ENHANCED: Use improved sharing in nb_set_dict/3. This patch makes nb_set_dict/3 call the low-level code for nb_setarg/3, providing better code reuse.

[Dec 29 2024]

• ENHANCED: nb_setval/2: avoid quadradic complexity.
• ENHANCED: nb_setarg/3: avoid copying the old value. If the new value contains the old, the old value is not copied, making many applications linear instead of having quadratic cost.
• CLEANUP: Pack context for copy_term/2 and friends into a struct Also type and declaration cleanup

[Dec 23 2024]

• ADDED: swipl pack remove: --dir=DIR option
• ADDED: swipl pack info: --dir=DIR option Give info on packs installed below DIR

[Dec 21 2024]

• ADDED: swipl pack rebuild [--dir=dir] [pack ...]
• ADDED: swipl pack list --dir=DIR option to list packs installed in DIR.

[Dec 19 2024]

• FIXED: dict_same_keys/2 could overflow the global stack.
• ADDED: trap/1: aliases for e.g. type_error -> type_error(_,_) So one does not need to remember the number of arguments.

[Dec 18 2024]

• FIXED: Preserve incremental property when creating a saved state.

[Dec 13 2024]

• BUILD: Add CMake option -DSWIPL_SO_VERSIONS to remove SOVERSION properties.

[Dec 12 2024]

• DOC: statistics/2 lost the keys globallimit, locallimit and traillimit. Reported by Jelmer Jellema.

[Dec 10 2024]

• FIXED: print_term/2: proper handling of operators(Ops) Needs to be kept consistent with write_options([... ignore_ops(IgnOps)]). Implemented consistency and deprecated the option. Reported by Mike Elston.

[Dec 9 2024]

• FIXED: merge_options(+Dict, +List, Merged) Resulted in no matching rule exception.
• ADDED: library(prolog_colour): track CHR declaration locations

[Dec 8 2024]

• FIXED: Handling of home during boot session.

[Dec 4 2024]

• ENHANCED: pack_info/1: use colours and indicate autoload status.
• MODIFIED: pack_install/2 option autoload(true) If present, the pack is installed as autoload pack regardless of autoload option in the meta-data. If the option is not present, the system asks the user to install as autoload library if the meta-data contains autoload(true).

  If autoloading is not enabled, the INDEX.pl file that may appear in the pack is removed.

  This patch also adds swipl pack install --autoload ...

• FIXED: Make packs that provide an autoload library work again.

[Dec 3 2024]

• FIXED: cmake/TestSignalType.c for C++
• PORT: Make cmake test for signal handler compatible with c23

[Dec 2 2024]

• ENHANCED: gui tracer support for Head ==> Body rules.
• ENHANCED: Set non_terminal property for clauses for Head ==> Body

[Nov 29 2024]

• WASM: Include ABI file to make the home search work.
• FIXED: New home search to actually try the compiled in value.

[Nov 28 2024]

• ENHANCED: Verify sanity of the Prolog home directory This patch validates that the home directory contains a file ABI holding the ABI information and compares this. On failure, it reports a detailed report on why Prolog could not find its home directory.

[Nov 27 2024]

• FIXED: explain/1 to report the same predicate multiple times. This happens if the predicate is imported into multiple modules.
• ADDED: library(exceptions) This library provides catch/4 and error/2 to define error types and catch based on types rather than unification. Experimental.

[Nov 25 2024]

• PORT: read_pending_input/3 and friends: make 16 bit encodings work on Windows.

[Nov 24 2024]

• FIXED: Pass command line arguments in class Prolog.

[Nov 22 2024]

• DOC: gcd/2 and lcm/2 are not operators.
• ADDED: Prolog flag unknown_option with values {ignore,warning,error}. As a result of PIP-105. May change, but unlikely as their was clear agreement.

  This flag disables the iso flag from reporting errors on unknown options because this breaks large parts of SWI-Prolog's libraries. The user can now explicitly enable this as well as make the system pring warnings to investigate possible issues.

[Nov 21 2024]

• FIXED: Use of undefined options in the toplevel. This makes the toplevel unusable if the Prolog flag iso is set to true.
• PORT: WASM: Get rid of deprecated allocate, ALLOC_NORMAL and ALLOC_STACK
• FIXED: WASM: Query.next() to set done to true on last answer. This must be false when used as iterator.
• ENHANCED: Allow suppressing autoload warnings.
• TEST: Move test_rwlocks.pl from library to thread test dir. This test should not run in the single threaded version.

[Nov 20 2024]

• FIXED: WASM: for(x of prolog.query(...)) lost last answer

Package clib

[Dec 28 2024]

• PORT: Support inet6 on NetBSD

Package http

[Jan 3 2025]

• DOC: spellchecked documentation

[Dec 16 2024]

• ADDED: htmx_oob//2 to simplify emitting OOB data

[Nov 20 2024]

• DOC: Fixed example code for apropos with HTML output.

Package jpl

[Nov 22 2024]

• TEST: #104 prolog_in_java test fails if multiple copies of junit*.jar are found. Now first search for junit*4*.jar. On success, use first, else search for junit.jar. On success, use first.
• TEST: Cache JUNIT_JAR in CMake. This provides better cmake performance and easier inspecting the configuration result.

Package semweb

[Jan 4 2025]

• ASAN: Avoid runtime errors. All "fixed" issues are benign

[Jan 2 2025]

• DOC: spellchecked documentation

Package swipy

[Dec 11 2024]

• FIXED: Allow using the janus module from Prolog when loaded as Python module.

[Dec 10 2024]

• FIXED: When loading janus_swi into Python, use janus.pl from Python package.

[Nov 25 2024]

• BUILD: Honour environment variable SWIPL for `pip install .`
• DOC: Document creating the Windows binary wheel in scripts/README.md

Package xpce

[Jan 4 2025]

• PORT: Avoid -Wstringop-truncation warning.
• PORT: Silence address sanitizer errors.

[Jan 3 2025]

• MODIFIED: PceEmacs: sync comment commands with (my)GNU Emacs. - \C-c\C-h (insert_section_comment) Insert code section comment from prompted title - \C-c\C-q (insert_long_comment) Insert /* - - - .... - - - */ comment