diff options
author | asau <asau@pkgsrc.org> | 2010-08-18 22:32:00 +0000 |
---|---|---|
committer | asau <asau@pkgsrc.org> | 2010-08-18 22:32:00 +0000 |
commit | 88566473b99be618934dc481fc928b95d2d7fed8 (patch) | |
tree | 1ca39e01cea8cc83a029ba2b585c4ace7221e972 /lang/swi-prolog-packages | |
parent | e7bbc22ee96823320ab17173d320925e8e501df6 (diff) | |
download | pkgsrc-88566473b99be618934dc481fc928b95d2d7fed8.tar.gz |
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.
Diffstat (limited to 'lang/swi-prolog-packages')
-rw-r--r-- | lang/swi-prolog-packages/PLIST | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/lang/swi-prolog-packages/PLIST b/lang/swi-prolog-packages/PLIST index c8b8bd4b968..e6f1fe453be 100644 --- a/lang/swi-prolog-packages/PLIST +++ b/lang/swi-prolog-packages/PLIST @@ -1,4 +1,4 @@ -@comment $NetBSD: PLIST,v 1.6 2010/05/16 18:46:11 asau Exp $ +@comment $NetBSD: PLIST,v 1.7 2010/08/18 22:32:01 asau Exp $ bin/xpce-client lib/swi-prolog-${PKGVERSION}/Makefile lib/swi-prolog-${PKGVERSION}/bin/${MACHINE_GNU_PLATFORM}/xpce @@ -99,10 +99,12 @@ lib/swi-prolog-${PKGVERSION}/library/http/http_error.pl lib/swi-prolog-${PKGVERSION}/library/http/http_exception.pl lib/swi-prolog-${PKGVERSION}/library/http/http_header.pl lib/swi-prolog-${PKGVERSION}/library/http/http_hook.pl +lib/swi-prolog-${PKGVERSION}/library/http/http_host.pl lib/swi-prolog-${PKGVERSION}/library/http/http_json.pl lib/swi-prolog-${PKGVERSION}/library/http/http_log.pl lib/swi-prolog-${PKGVERSION}/library/http/http_mime_plugin.pl lib/swi-prolog-${PKGVERSION}/library/http/http_open.pl +lib/swi-prolog-${PKGVERSION}/library/http/http_openid.pl lib/swi-prolog-${PKGVERSION}/library/http/http_parameters.pl lib/swi-prolog-${PKGVERSION}/library/http/http_path.pl lib/swi-prolog-${PKGVERSION}/library/http/http_pwp.pl @@ -113,18 +115,22 @@ lib/swi-prolog-${PKGVERSION}/library/http/http_ssl_plugin.pl lib/swi-prolog-${PKGVERSION}/library/http/http_stream.pl lib/swi-prolog-${PKGVERSION}/library/http/http_wrapper.pl lib/swi-prolog-${PKGVERSION}/library/http/inetd_httpd.pl +lib/swi-prolog-${PKGVERSION}/library/http/js_write.pl lib/swi-prolog-${PKGVERSION}/library/http/json.pl lib/swi-prolog-${PKGVERSION}/library/http/json_convert.pl lib/swi-prolog-${PKGVERSION}/library/http/mimepack.pl lib/swi-prolog-${PKGVERSION}/library/http/mimetype.pl lib/swi-prolog-${PKGVERSION}/library/http/thread_httpd.pl lib/swi-prolog-${PKGVERSION}/library/http/web/css/dirindex.css +lib/swi-prolog-${PKGVERSION}/library/http/web/css/openid.css lib/swi-prolog-${PKGVERSION}/library/http/web/icons/back.png lib/swi-prolog-${PKGVERSION}/library/http/web/icons/c.png lib/swi-prolog-${PKGVERSION}/library/http/web/icons/compressed.png lib/swi-prolog-${PKGVERSION}/library/http/web/icons/folder.png lib/swi-prolog-${PKGVERSION}/library/http/web/icons/generic.png lib/swi-prolog-${PKGVERSION}/library/http/web/icons/layout.png +lib/swi-prolog-${PKGVERSION}/library/http/web/icons/openid-logo-square.png +lib/swi-prolog-${PKGVERSION}/library/http/web/icons/openid-logo-tiny.png lib/swi-prolog-${PKGVERSION}/library/http/xpce_httpd.pl lib/swi-prolog-${PKGVERSION}/library/iso_639.pl lib/swi-prolog-${PKGVERSION}/library/memfile.pl @@ -188,6 +194,7 @@ lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_turtle_write.pl lib/swi-prolog-${PKGVERSION}/library/semweb/rdf_zlib_plugin.pl lib/swi-prolog-${PKGVERSION}/library/semweb/rdfs.pl lib/swi-prolog-${PKGVERSION}/library/semweb/rdfs.rdfs +lib/swi-prolog-${PKGVERSION}/library/semweb/sparql_client.pl lib/swi-prolog-${PKGVERSION}/library/semweb/turtle_base.pl lib/swi-prolog-${PKGVERSION}/library/sgml.pl lib/swi-prolog-${PKGVERSION}/library/sgml_write.pl @@ -1183,3 +1190,4 @@ lib/swi-prolog-${PKGVERSION}/xpce-${XPCE_VERSION}/prolog/lib/xref/common.pl lib/swi-prolog-${PKGVERSION}/xpce-${XPCE_VERSION}/prolog/lib/xref/mkcommon.pl lib/swi-prolog-${PKGVERSION}/xpce-${XPCE_VERSION}/prolog/lib/xref/quintus.pl lib/swi-prolog-${PKGVERSION}/xpce-${XPCE_VERSION}/prolog/lib/xref/sicstus.pl +man/man1/xpce-client.1 |