Update to SWI-Prolog 5.11.4

Changes in 5.11.4:

 * ADDED: library coinduction.pl, after discussion with Gopal Gupta.
 * CLEANUP: Share more of the Makefiles between Windows and the rest
 * FIXED: destruction of a queue if a thread is waiting to write
 * FIXED: error by current_blob/2.
 * MODIFIED: incorrect handling of (^)/2 in setof/3 and bagof/3.
   The new version should now fully comply to ISO.  As of now,

        - The predicate ^/2 no longer exists
        - ^ is only handled by bagof/setof if it appears
          directly at the toplevel of the 2nd argument.
          E.g., the following is NOT allowed:

            setof(X, (foo(X); Y^foo(Y)), L).

   Code must be rewritten.  At runtime, problems are signalled
   by ^/2 being undefined. compile-time analysis can be achieved using
   gxref/0 (or check/0 for quick-and-dirty).
 * FIXED: GC error when nesting (if->then/*no-else*/) inside \+.
   Thanks to test-case by Keri Harris.
 * FIXED: retractall(x(X,X)).  Roberto Tiella.


Changes in 5.11.3:

 * FIXED: Top level now performs expand_goal/2 *after* correcting the
goal.
 * MODIFIED: PL_CUTTED -> PL_PRUNED.  Kept PL_CUTTED as a #define for
compatibility.
 * FIXED: Correctly read RDF/XML that is in UTF-8 on Windows.
 * ENHANCED: Faster enumeration of subjects for writing small RDF gaphs
 * ENHANCED: Better sizing of the hash-tables.
 * CLEANUP: Use size_t in many places for RDF-DB
 * ADDED: RDF-DB index on +,+,+.  This provides a significant speedup in
   loading databases with multiple objects on the same SP.
 * ADDED: Syntax closer to ISO with set_prolog_flag(iso,true).
   See Prolog flag iso for a detailed description.
 * MAINT: Fix compilation under -DO_DEBUG.  Andy Valencia.
 * FIXED: Syntax: proper bracketing of arguments
 * MODIFIED: Simpler syntax within { }.
   According to 6.3.6 the term within curly brackets is read with
   priority 1201, so no extra parentheses are needed.


Changes in 5.11.2:

 * ADDED: lang_equal/2 to RDF library to test language equality.   Jacco
van Ossenbruggen
 * FIXED: Error from http_absolute_location/3 if an alias is not
defined.
 * FIXED: Avoid error in edit/1 hook if an HTTP path-alias is undefined.
 * ADDED: Just-in-time creation of thread-pools for the HTTP server
using the new hook
   http:create_pool/1.  Cleanup of the code for faster spawning of
worker-threads.
 * MODIFIED: Threaded server defaults: keep-alive-timeout is now 2
seconds (was 5)
   and the worker-count is now 5 (was 2).  Worker-count is increased
because many
   servers need it as since version 5.9.x there is hardly a price for
more workers.
 * ADDED: option hide_children(Bool) to make prefix handlers hide their
children
   and allow http_delete_handler to delete a handler-by-id.
 * PORT: Realise set_end_of_file in Windows version
 * ENHANCED: Implement safe-locking of the RDF persistent database
 * ADDED: set_end_of_stream/1.
 * PORT: Fix for MS VS2010 compilation.  Degski.
 * ADDED: lang_matches/2 to library(rdf_db)
 * FIXED: url_to_filename/2 in rdf_persistency was broken due to
steadfastness
   fix in DCG (commit 1a1a5699).  Jacco van Ossenbruggen.
 * FIXED: list_settings/0.  Li Li.
 * FIXED: handling of = and contains in xpath.  Carsten van Weelden.
 * ADDED: library(semweb/sparql_client) providing a SPARQL client API.
 * ENHANCED: Layout for listing where the body resides in another
module.
 * ENHANCED: Provide style pldoc(Id) with each PlDoc handler
 * ADDED: reply_html_page/3: re-stylable HTML pages
 * FIXED: Possible crash in cleanup handlers.
   See comment above discardChoicesAfter() for more details.
 * ENHANCED: Make it possible to give syntax-warnings with exact
positions.
 * ADDED: Warnings for missing quotes for , and |
 * MODIFIED: Stricter list syntax. E.g. [a,b|c,d] or [a|b|c] are now
illegal.
   In the unlikely case this was intended, the term after the bar (|)
must be
   enclosed in brackets.  I.e. [a,b|(c,d)] or [a|(b|c)].
 * FIXED: Syntax: proper quoting of | and ,
 * PORT: Improve behavioral consistency between 32-bit and 64-bit
allocation
 * FIXED: Memory leak for threads allocating chunks of 512 bytes.  Matt
Lilley.
 * ADDED: computing SHA incrementally.  Ivan Shmakov
 * INSTALL: Item#567: make check of xpce loading user's .plrc
 * FIXED: steadfastness in DCG translation. Item#379
 * FIXED: Item#559: hanging system in GC.  Only affects 32-bit platforms
   when doing GC on large stacks that have >8Mb chunks of continuous
   garbage. Ulrich Neumerkel.
 * DOC: errors for atom_length/2.  Ulrich Neumerkel.
 * ADDED: Library(http/js_write) to embed JavaScript calls into HTML
pages
 * FIXED: Processing of stack-limit options in thread_create/3.  Jacco.
 * FIXED: Avoid direct access to private predicates of module error.
 * ADDED: rdf_reachable/5, providing a distance limit and returning the
distance.
 * ADDED: rdf_is_resource/1 and rdf_is_literal/1 for completeness.
 * FIXED: Thread-creation if ulimit -s == infinite.
 * FIXED: Do not skip character after . in turtle parser.  Lourens van
der Meij.
 * PORT: Windows snprintf --> _snprintf
 * MODIFIED: On systems that provide getrlimit(), the default
C-stack-size of
   created threads is the same as that of the main thread.  This was
already
   the default on Linux, but not on e.g. MacOS.
 * ADDED: statistics(c_stack, StackSize) to query the system (C-)stack
limit.
   For consistency, thread_create now also accepts c_stack as parameter.
   This patch also cleans some type-issues with regard to stack-size
   specification and removes 2Gb limit for Win64 due to the use of long.
 * ADDED: Skos prefix
 * ADDED: http_server_property/2.  This patch also does some cleanup to
   the meta-predicate declarations for the multi-threaded HTTP server.
 * FIXED: Check for integer overflows in numeric-arguments for
format-specifiers
 * FIXED: Possible buffer overflow on format('~200f', [1]).  Mike
Elston.
 * ADDED: library(http/http_openid), supporting OpenID consumers and a
server.
 * ADDED: library(http/http_host) to obtain the public hostname of our
HTTP service
 * CLEANUP: Stricter type-checking in load_files/2.  Discussion on
comp.lang.prolog.
 * FIXED: Old naming conventions.  Julian Zubek.
 * FIXED: Atom-GC for blobs that do not have PL_BLOB_UNIQUE.  Samer
Abdallah.
 * ADDED: Allow for selective importing of operators in use_module/2.
   After discussion with Vitor.
 * PORT: Do not use chrpath if the kernel is not a shared object
 * PORT: Some type-issues in socket libs (nonblockio.c)
   I do not think any of these could have been fatal.  They just produce
   alarming messages from the compiler.


Changes in 5.11.1:

 * PORT: Windows: make fake EWOULDBLOCK error compatible with new def in
VS2010
 * PORT: Fix download of Windows prerequisites for Windows 7.  Degski.
 * ADDED: Support for "406 Not Acceptable" responses in the HTTP server.
 * INSTALL: make prepare check all checked-out modules, regardless of
-a.
 * FIXED: Cleanup after uncaught stack-overflow exceptions.  Paul
Singleton.
 * DOC: Fixed code for skeleton client.  Mike Elston.
 * FIXED: ?= for cases where the arguments do not unify.  Marco Montali.
 * FIXED: Possible crash on stack-shift in cleanup handler.  Jochem
Liem.
 * FIXED: Possibly wrong association of $and in frozen/2.  Samer
Abdallah.
 * FIXED: Handling option register_namespaces(true) in rdf_load/2.
   Vangelis Vassiliadis.
 * MODIDIED: rdf_assert/4 now discards *complete* duplicates (incl
source).
 * PORT: Avoid including termios.h into pl-os.h to localise the
dependencies
   and (hopefully) make the system compile on Solaris.
 * PORT: Get prototype for posix_openpt(), avoiding warning
 * PORT: Move time-dependencies where they are needed; use POSIX
   clock_gettime() if it is provided.
 * DOC: Enhance comments of rb_insert/4 and rb_insert_new/4.
 * MODIFIED: Make rdf_meta/1 module-aware.  This means that calls are
   only expanded if they resolve to the exact predicate that is declared
   using rdf_meta.  This might break code relying on the old behaviour
   that expansion took place regardless of the module.

   It is possible to get a warning on calls that used to be expanded
   and are now not using this call before *loading* the program:

        ?- debug(rdf_meta).

   The new code also expands NS:Local appearing literally in the head
   of rdf_meta-declared clauses.

3 files changed, 9 insertions, 8 deletions

diff --git a/lang/swi-prolog-lite/Makefile.common b/lang/swi-prolog-lite/Makefile.common
index 408fb902622..8574742391e 100644
--- a/lang/swi-prolog-lite/Makefile.common
+++ b/lang/swi-prolog-lite/Makefile.common
@@ -1,6 +1,6 @@
-# $NetBSD: Makefile.common,v 1.7 2010/05/16 18:46:10 asau Exp $
+# $NetBSD: Makefile.common,v 1.8 2010/08/18 22:32:00 asau Exp $
 
-SWIPLVERS=		5.11.0
+SWIPLVERS=		5.11.4
 DISTNAME=		pl-${SWIPLVERS}
 CATEGORIES=		lang
 MASTER_SITES=		http://www.swi-prolog.org/download/stable/src/ \
diff --git a/lang/swi-prolog-lite/PLIST b/lang/swi-prolog-lite/PLIST
index d8d9253be37..6a227daea7f 100644
--- a/lang/swi-prolog-lite/PLIST
+++ b/lang/swi-prolog-lite/PLIST
@@ -1,12 +1,12 @@
-@comment $NetBSD: PLIST,v 1.8 2010/05/16 18:46:10 asau Exp $
+@comment $NetBSD: PLIST,v 1.9 2010/08/18 22:32:00 asau Exp $
 bin/swi-prolog
 bin/swipl-ld
 bin/swipl-rc
 lib/pkgconfig/swipl.pc
+lib/swi-prolog-${PKGVERSION}/bin/swipl.home
 lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/swi-prolog
 lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/swipl-ld
 lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/swipl-rc
-lib/swi-prolog-${PKGVERSION}/bin/swipl.home
 lib/swi-prolog-${PKGVERSION}/boot/apply.pl
 lib/swi-prolog-${PKGVERSION}/boot/attvar.pl
 lib/swi-prolog-${PKGVERSION}/boot/autoload.pl
@@ -264,6 +264,7 @@ lib/swi-prolog-${PKGVERSION}/library/clp/clp_distinct.pl
 lib/swi-prolog-${PKGVERSION}/library/clp/clp_events.pl
 lib/swi-prolog-${PKGVERSION}/library/clp/clpfd.pl
 lib/swi-prolog-${PKGVERSION}/library/clp/simplex.pl
+lib/swi-prolog-${PKGVERSION}/library/coinduction.pl
 lib/swi-prolog-${PKGVERSION}/library/csv.pl
 lib/swi-prolog-${PKGVERSION}/library/ctypes.pl
 lib/swi-prolog-${PKGVERSION}/library/date.pl
diff --git a/lang/swi-prolog-lite/distinfo b/lang/swi-prolog-lite/distinfo
index a2ae6a8ec32..26d0cf83539 100644
--- a/lang/swi-prolog-lite/distinfo
+++ b/lang/swi-prolog-lite/distinfo
@@ -1,8 +1,8 @@
-$NetBSD: distinfo,v 1.10 2010/05/16 18:46:10 asau Exp $
+$NetBSD: distinfo,v 1.11 2010/08/18 22:32:00 asau Exp $
 
-SHA1 (swi-prolog/pl-5.11.0.tar.gz) = be355025bfcbf19f58e652973695506b49c1160d
-RMD160 (swi-prolog/pl-5.11.0.tar.gz) = 0075c16c82b3c4f0ff37de0b5ca5e7061bfecad5
-Size (swi-prolog/pl-5.11.0.tar.gz) = 12882832 bytes
+SHA1 (swi-prolog/pl-5.11.4.tar.gz) = ccae547fd6f41509d55f1ca0c4c4cbf1d512df9b
+RMD160 (swi-prolog/pl-5.11.4.tar.gz) = d85ea3ad7e9bfc39f40ef71ad8d435f44c7241f3
+Size (swi-prolog/pl-5.11.4.tar.gz) = 12959938 bytes
 SHA1 (patch-ad) = 7b3899fe4162582efe955c67d5dc3ed42e7d1702
 SHA1 (patch-aq) = 5bda4d5bec0520e1019b663326e32d74b9c2ee08
 SHA1 (patch-ar) = 2bf3648f29c6263ea2efe13b95309a1fe72b14b8