Ann: SWI-Prolog 7.1.10

Hi,

I have uploaded SWI-Prolog 7.1.10.  Most changes are bug fixes and
portability issues.  Highlights:

   - Fixed two GC issues (Atom-GC and normal GC)
   - Notably enhancements to library(archive), library(zlib) and the
     RDF packages.
   - Added check_installation/0 that verifies whether your system is
     complete and all foreign libraries can be loaded.  Points at
     wiki pages on swi-prolog.org if it finds an issue.  Most of the
     pages are still skeletons.  I filled some of them.

	Enjoy --- Jan


========================================
SWI-Prolog Changelog since version 7.1.9
========================================

  * ENHANCED: Interrupt handling

  * MODIFIED: Print debugger interaction to user_error instead of
    user_output.

  * FIXED: check_installation/0 message if library was not found.

  * ENHANCED: DO not start tracer from forced interrupt (may crash)

  * ENHANCED: Handling of abort from ^C inside readline().

  * ENHANCED: Try harder to exit cleanly if errors arrise.

  * BUILD: Consider configure out of data if there is a newer aclocal.m4

  * FIXED: swipl-ld must dispatch shared objects as liraries to the linker.

  * ADDED: Menu item Help/Check installation (and make check-installation)

  * FIXED: Also get Exit at the bottom of the Qt console File menu

  * FIXED: Windows console: have Exit at the end of the menu again

  * PORT: Check for <readline/history.h> if RLPREFIX is given (MacOS).

  * FIXED: Honour write_attributes flag in write/2, etc.  Abramo Bagnara.

  * FIXED: string_lower/2, string_upper/2: output was an atom.
    Peter Berry.

  * ENHANCED: limit scope of lock. My mistake in handling Keri's patch
    05d1e50d24ce3b14797178d98d732b159d9b1e2c.

  * FIXED: Item#673: Interrupt and abort during output set user_output
    in error-mode. Ulrich Neumerkel.

  * ADDED: Interrupt handling: 's' to print the C-stack (if libunwind or
    some alternative is around).

  * FIXED: Bug#142: possible crash when marking records in thread message
    queues

  * FIXED: absolute_file_name/3: use first extension if the same extension
    appears multiple times in the list.

  * ADDED: check_installation/0 to verify that the installation is sane.

  * UPDATED: Windows builds to use libarchive 3.1.2 (was 3.0.4).

  * FIXED: Raise existence_error if an already closed stream is closed.

  * FIXED: Shell syntax error in packages "make install".  Wouter Beek.

  * PORT: Bug#162: remove prototype for rl_event_hook().  Maks Verver.

  * FIXED: If use_foreign_library/1 loads a C++ object that registers
    at least one predicate, do not complain that it does not have an
    initialization function.

  * FIXED: Bug#161: get_dict/3: wrong type error of first argument is
    not a valid key.  Raivo Laanemets.

  * ADDED: Implement break on unification

  * BUILD: Only report failed packages rather than aborting the build
    process

  * FIXED: Hide '$expand_goal'/2 and '$expand_term'/4 from the debugger.

  * FIXED: Only wrap the console if input, output and error are attached
    to a console.

  * PORT: Fixed winsock2.h include

  * PORT: Fixed Windows identification of console I/O using GetFileType().

  * MODIFIED: Only enable colour I/O if stdin, out and error are attached
    to a terminal.  If you want colour anyway, load library(ansi_term)
    explicitly.

  * FIXED: Item#672: call_with_inference_limit/3 does not reset limit on
    retry. Ulrich Neumerkel.

  * ADDED: call_with_inference_limit/3. After discussion with Ulrich
    Neumerkel and Markus Triska.

  * FIXED: Possible crash in GC related to Goal@Var.  Keri Harris.

  * ADDED: message_to_string/2 as safe predicate for library(sandbox).


===============
Package archive
===============

  * PORT: MacOS: use MacPort libarchive because MacOS is not a compatible
    library.

  * FIXED: Handling of non-repositioning input.  If seek() fails we should
    reset the error state of the stream.

  * ENHANCED: Fail with a type error if an archive-argument does not
    contain an archive.

  * FIXED: AGC interaction

  * ADDED: archive_property/2.

  * MODIFIED: archive_open/3 renamed compression(Compression)
    to filter(Filter). Old option is still supported for backward
    compatibility.

  * ADDED: Support 3.1.2 archive formats

  * ADDED: All 3.1.2 filters

  * FIXED: archive_open/3: compensated for fixed double close/1.

============
Package clib
============

  * FIXED: uri_file_name/2 in mode (+,-): actually check the file scheme.

  * DOC: replace @tbd for syslog with @see library(syslog)

  * MODIFIED: uri_is_global/1 fails for a single-letter scheme.
    This avoids misinterpretation of DOS path names.

================
Package pengines
================

  * FIXED: error event if a pengine cannot be created

  * DELETED: the probe and probe_template options


==============
Package semweb
==============

  * FIXED: Prefer exact file name if present.  Wouter Beek.

  * FIXED: library(semweb/rdf_ntriples): if the input is a binary stream,
    switch it to UTF-8.

  * ADDED: rdf_save_ntriples/2 to library(semweb/turtle).  Wouter Beek.

  * FIXED: Persistency handling of rdf_reset_db/0.  Was lost on 3.0
    conversion.

  * ADDED: rdf_save_turtle/2 and friends: option prefixes(List) to specify
    the prefixes used in the output.

  * MODIFIED: Update Accept header for library(http/rdf_http_plugin).

  * DOC: Avoid misinterpretation of <prefix>:<local>


============
Package sgml
============

  * ADDED: Dialect support for xhtml and xhtml5.

  * FIXED: sgml_parse/2 using parse(content) if a `end` callback is
    defined.

=================
Package swipl-win
=================

  * BUILD: Avoid including packs in the app.

  * FIXED: Also add (recursive) dependencies for the .dylibs we copy from
    MacPorts to the app.

============
Package xpce
============

  * PORT: Avoid ending up with c89 as local compiler on MacOS

  * BUILD: Use <config.h> for building xpce-copy

============
Package zlib
============

  * FIXED: Stream deflate handling of end-of-stream (depends on flushing
    behaviour)

  * ENHANCED: forwarding of deflate errors to exceptions produced by
    reading predicates. Updated the docs to explain that successful
    opening of an input stream using zopen/3 does not imply it is a
    compressed stream.