Ann: SWI-Prolog 7.1.6

Hi,

I've uploaded SWI-Prolog 7.1.6. The main reason is adding a new package.
Having this package already added to the git, but not in the releases
poses issues with generated documentation files.

The new package is *pengines*: Web Logic Programming Made Easy. This was
written by Torbjörn Lager. Torbjörn and I did this week the final work to
integrate it. The package is surely still rough, but I agree with
Torbjörn that the potential is great.  See


http://www.swi-prolog.org/pldoc/doc_for?object=section%28%27packages/pengines.html%27%29

The remainder are mostly small bug fixes and some generalization in
the HTTP code.

	Enjoy --- Jan


========================================
SWI-Prolog Changelog since version 7.1.5
========================================

 * ADDED: safe_goal/1 rules for with_output_to/2.

 * ADDED: Package pengines

 * FIXED: thread_create_in_pool/4: allow for at_exit(:Goal) option.

 * ADDED: library(sandbox): declare many predicates as safe.

 * DOC: Typo in forall/2 example.  Nicos Angelopoulos.

 * DOC: Fixed many ./2 and [] issues.  Abramo Bagnara.


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

 * FIXED: archive ordering using compare

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

 * FIXED: Removing pending alarms on thread exit could loop.

 * DOC: Document the fact that alarms are thread-specific

 * FIXED: Remove alarms related to a thread if the thread terminates.


=============
Package clpqr
=============

 * BUILD: Fix configure

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

 * ENHANCED: Do not print somewhat alarming messages on normal termination
   of HTTP handler threads.

 * CLEANUP: Use new functionality from library(http/http_host).
   Deprecate redundant predicates.

 * ADDED: library(http/http_host): http_public_url/2,
   http_public_host_url/2, ttp_public_host/4 Deprecated
   http_current_host/4.

 * DOC: Add PlDoc module comments to remaining files.

 * FIXED: Type error when computing the layout of a JSON term that embeds
   dicts in a list.

 * FIXED: json_write_dict/3: handling of the option tag(Name)

 * ADDED: directory_index//2 to library(http/http_dirindex) to allow
   for embedded listings. Also added options for sorting files.

 * ADDED: library(http_dirindex): pass page style dir_index(Dir, Title)
   to allow for styling the page.

 * FIXED: Parsing of "Status NNN Comment" from CGI replies.

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

 * ADDED: Translate \includegraphics for image file formats


=============
Package pldoc
=============

 * ADDED: Show navigation tree for Prolog files.

 * FIXED: Make the navigation tree show over the content and not push
   the content away.


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

 * FIXED: Turtle parser: allow last statement to end in EOF.  Wouter Beek.

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

 * FIXED: possible crash when validating SSL context role

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

 * FIXED: Wrap many toplevel goals accessing the GUI in in_pce_thread/1.
_______________________________________________
SWI-Prolog mailing list
[email protected]
https://lists.iai.uni-bonn.de/mailman/listinfo.cgi/swi-prolog