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

SWI-Prolog Changelog from version 7.7.22 to 7.7.23

[Dec 3 2018]

  • PORT: Make profiling guided optimization work for Windows.
  • DOC: Missing Prolog flag documentation for windows and wine_version.

[Dec 2 2018]

  • DOC: CMAKE.md for new cross-compilation support.

[Dec 1 2018]

  • TEST: Cleanup and streamlining both the normal test and test on the installed system.

[Nov 21 2018]

  • ENHANCED: allow installation of tests with -DINSTALL_TESTS

[Nov 29 2018]

[Nov 28 2018]

  • DOC: Building did not always update the manual because PlDoc comments were already embedded into the man/pldoc2tex state.
  • FIXED: PL_cut_query() and PL_close_query() may encounter a Prolog exception if pending choice points call Prolog due to setup_call_cleanup/3 and friends. These functions now return an int which is FALSE if an exception occurred.

[Nov 27 2018]

[Nov 26 2018]

  • DOC: Quintus compatibility math predicates.

[Nov 23 2018]

  • INSTALL: Android: create tmp_dir if it does not exist

[Nov 26 2018]

  • PORT: Added endianness tests

[Nov 23 2018]

  • TEST: accept different representations for NaN, needed esp. for Android
  • FIXED: Issue#371: duplicate run of initialization goals that appear in the system init file ($PLBASE/swipl.rc). Jan Burse.

[Nov 22 2018]

  • ADDED: Prolog flag tmp_dir reflecting the directory for temporary files. This flag is initialised from the environment and may be changed.
  • INSTALL: Allow installing libswipl in the public library directory instead of the Prolog tree.
  • PORT: Link to liblog.so needed to write to android syslog equivalent
  • PORT: Set proper android arch

[Nov 23 2018]

  • PORT: support older versions of cmake for cross-compiling to Windows

[Nov 22 2018]

  • ADDED: Prolog flag posix_shell. Used by shell/2 and qsave_program/2.
  • PORT: shell/2 (called by shell/0 and shell/1) now used execve() for better support on Android termux.
  • PORT: Link packages to libswipl.so and libm.so on Android
  • FIXED: staged generation of autoload index files did not close the file.

[Nov 21 2018]

  • PORT: support zlib that does not export internal macros
  • DOC: Module handling for operators.
  • MODIFIED: op/3 and current_op/3 now default to the typein module module rather that the hard coded user module.
  • ADDED: meta-predicate declaration for op/3 and current_op/3.
  • CLEANUP: Use staging interface for library index files rather than a local solution.
  • FIXED: Use file staging for .qlf files to avoid concurrent processes to stumble on incomplete files.
  • ADDED: '$stage_file'/2 and '$install_staged_file'/4 to stage file creating, avoiding incomplete intermediate products.
  • FIXED: Do not try to add .qlf files to a library index.

[Nov 20 2018]

  • FIXED: Remove hint to removed -v cli option. Falco Nogatz.
  • DOC: improve SWIPL_NATIVE_FRIEND explanation
  • BUILD: Allow qlf compiling using friend compiler
  • ENHANCED: Allow compile time specification of unix shell
  • BUILD: Build and install the manual index doc/manindex.db
  • DOC: Replace -tty with --no-tty. Peter Ludemann.

Package RDF

[Nov 27 2018]

  • TEST: Support -DINSTALL_TESTS=ON

Package clib

[Nov 27 2018]

  • TEST: Support -DINSTALL_TESTS=ON

[Nov 22 2018]

  • PORT: Always use execve() for better portability with Android termux.
  • ADDED: process_create/3: option environment(+List) compatible with SICStus 4.1. Unlike the old env(+List), the environment is inherited.

Package http

[Nov 27 2018]

  • TEST: Support -DINSTALL_TESTS=ON

[Nov 29 2018]

[Nov 23 2018]

  • MODIFIED: http_open/3: accept status codes 201 thru 299 as successful.

[Nov 26 2018]

  • ADDED: http_server/2: option entry_page(URI) to provide more adequate feedback if a server does not provide / as landing page.

[Nov 20 2018]

  • ENHANCED: Avoid dependency of html_write.pl on the entire HTTP framework.

Package jpl

[Nov 25 2018]

  • PORT: find_package(JNI) not needed on Android

Package nlp

[Nov 27 2018]

  • FIXED: tokenize_atom/2: handle illegal floats as sequences of alphanumerical characters.

[Nov 26 2018]

  • ADDED: isub/4: allow for codes or chars input. Also reduces use of malloc() to improve the performance.

Package pengines

[Nov 21 2018]

  • FIXED: Set the typein module while executing a query to facilitate predicates such as op/3.

Package pldoc

[Nov 29 2018]

  • DOC: Fixed documentation for library(doc_latex). Paulo Moura.
  • FIXED: Issue http#121: images not showing in manual. Reported by Erik Dominikus.

[Nov 28 2018]

  • ADDED: doc_clean/1 to remove collected documentation for a module.

[Nov 26 2018]

  • FIXED: Make manindex.db independent from the location where the manual (and Prolog) is installed. Also makes the file considerable shorter.
  • ENHANCED: doc_server/1: print proper location of documentation server. Nicos Angelopoulos.

[Nov 22 2018]

  • BUILD: Missing dependencies for qcompiling doc_html.pl

[Nov 20 2018]

  • ADDED: save_man_index/0, providing persistent caching for the HTML manual index.

Package semweb

[Nov 27 2018]

  • TEST: Support -DINSTALL_TESTS=ON

Package ssl

[Dec 3 2018]

  • FIXED: Hack to deal with TLSv1.3 possibility of false broken pipe exception. Work in progress.

[Nov 27 2018]

  • TEST: Support -DINSTALL_TESTS=ON
  • BUILD: Make sure we have process_create/3 before building certificates

[Nov 21 2018]

  • FIX: don't use crosscompiling paths to find openssl

[Nov 20 2018]

  • BUILD: Avoid relying on ~/.swiplrc