Ann: SWI-Prolog 7.1.2

Hi,

I've uploaded SWI-Prolog 7.1.2.  Highlights:

   - String predicates are now (almost) synchronised with ECLiPSe, thanks
     to the involvement of Joachim Schimpf.  Vitor Santos Costa (YAP) has
     been following some of the discussions.  I think we are close to a
     shared stable specification.  Some small details may still change.

   - The list functor changed from '$cons'/2 to '[|]'/2.  This is compatible
     with Mercury (compatibility is not that important, but they had to take
     the same decision) and seems get a wider acceptance.  This is final,
     unless Ulrich's way out is in the end considered a better one.

   - A number of bug fixes.

	Enjoy --- Jan

P.s. Next step is most likely adding regex support.


========================================
SWI-Prolog Changelog since version 7.1.1
========================================

  * MODIFIED: List cell functor from '$cons' to '[|]'.  There seems to
    be more support for this: Mercury, Paulo, Joachim.

  * ADDED: read_string/3, read_string/5

  * ADDED: String test cases from ECLiPSe

  * CLEANUP: Extract string operations from pl-prims.c into a new file
    pl-string.c

  * FIXED: writeq(.) should write a quoted dot.  Ulrich Neumerkel.

  * FIXED: Argument order in backward compatibility predicate
    '$apropos_match'/2

  * ADDED: string_upper/2 and string_lower/2

  * ADDED: term_string/3.

  * ADDED: term_string/2.

  * ADDED: text_to_string/2.

  * FIXED: PL_get_text(): interpret [] correctly.  Also, the empty atom
    is now interpreted as the empty string if CVT_LIST is added.

  * FIXED: Error in atomic_list_concat(_,_).

  * FIXED: Several issues with split_string/4

  * ADDED: ECLiPSe test framework as
    library(dialect/eclipse/test_util_iso).

  * FIXED: split_string/4: replace failures by exceptions.

  * ADDED: get_string_code/3 for compatibility with ECLiPSe.

  * FIXED: Test case relying on "ab" being a list.

  * DOC: Describe relation of string predicates to ECLiPSe.

  * ADDED: atomics_to_string/2,3.  Compatibilithy with ECLiPSe

  * MODIFIED: string_code/3 now uses one-based index.  Synchronizing with
    arg/3 and ECLiPSe.

  * FIXED: split_string(" ", "", " ", L).

  * FIXED: Error handling of atomic_list_concat/3.  Joachim Schimpf.

  * ADDED: prolog:make_hook/2 to enable the developer to act before and
    after make/0 loads files.

  * FIXED: Compilation and decompilation of zero-arity compounds.
    Keri Harris.

  * ADDED: split_string/4, copied from ECLiPSe.

  * COMPATIBILITY: Synchronising write options with ECLiPSe: -
      portray(Bool) has been renamed into portrayed(Bool).  Compatible
        with ECLiPSe and SICStus.  Old option is supported but deprecated.
      - dot_lists(Bool) has been renamed into dotlists(Bool).
      Now compatible
        with ECLiPSe.  This was intended to be compatible in the first
      place.
        Typo.

  * FIXED: Bug#144: expansion of functions in non-meta arguments.

  * MODIFIED: The [] is no longer callable.  The predicate []/0 has been
      removed.  This used to `consult no files', which is effectively
      the same as true/0.

  * DOC: Some missed Map --> Dict renaming and some missing section labels.

  * TEST: Try to handle the case were we have few open file handles
      available.

  * ADDED: Prolog flag `traditional'.

  * MODIFIED: Whether or not all quoted atoms are accepted now depends
      in the `--traditional' flag.  Paulo Moura.

  * FIXED: Handle --traditional if the atom table was already initialised
      due to calling one of the PL_* functions before PL_initialise(). Also
      added PL_action(PL_ACTION_TRADITIONAL) to set traditional mode
      without using --traditional.

  * DOC: Clarified double and back quoted settings.

  * FIXED: Handing of back_quotes as =symbol_char=

  * FIXED: Used ATOM_dot, where we really wanted ".".  Paulo Moura.

  * FIXED: Loading library(prolog_colour) with --traditional

  * ADDED: swipl --dump-runtime-variables now dumps PLSOPATH, providing
      the name of the environment variable to extend the search path for
      shared objects.



==============
Package debian
==============

  * DELETED: Java library path for testing patch.  This patch is now
    generalised and applied to the base system.

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

  * DOC: Typo

============
Package http
============

  * DOC: Fixed various markup issues

===============
Package ltx2htm
===============

  * FIXED: Ignore white space around tabular in center environment

  * CLEANUP: No longer use name= in <a> tag of generated docs.

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

  * FIXED: Turtle parser: memory leak with reading typed literals.
    Wouter Beek.

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

  * MODIFIED: Be mor relaxed about the value of the id attribute

===========
Package ssl
===========

  * DOC: Fixed predicate references