Ann: SWI-Prolog 7.1.8
Jan Wielemaker <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
Hi,
I have uploaded SWI-Prolog 7.1.8 a few days ago (forgot the
annoucement). There are quite a few changes, but no big stuff.
Highlights:
- Stabilising Pengine interfaces, additions to whitelisted safety
analysis.
- RDF libraries: added n-quad support, drop #fragment when constructing
a graph name from a URL. Updated some format-guessing rules.
- SGML/XML/HTML parser: fixed crash when running the XML parser on an
HTML5 document.
- Quite a few documentation updates at various places.
Enjoy --- Jan
========================================
SWI-Prolog Changelog since version 7.1.7
========================================
* ADDED: ord_selectchk/3. Nicos Angelopoulos (ask) & Richard O'Keefe
(provide).
* ADDED: library(sandbox): support for format/2,3 and debug/3.
* FIXED: Item#671: arg(1000000000000000000,s(_),_) should fail.
Ulrich Neumerkel.
* DOC: Deal with version 6/7 issues in docs of phrase. Fixed after
comments from Michael T. Richter.
* ADDED: clause_property(Clause, SizeInBytes)
* ADDED: library(prolog_format) for analysing Prolog format
strings. Contributed by Michael Hendricks.
* DOC: Status of strings is no longer unsure.
* DOC: Be more careful about \verb$<tag>$. Avoids a lot of \bnfmeta{}{}
in the generated web pages.
* DELETED: library(wise). Used to support the Wise solutions Windows
installer. This installer no longer exists and SWI-Prolog switched
to NSIS long time ago.
* ENHANCED: Allow double declarations for a setting, provided both name,
type and default are the same. Simplifies moving settings between
libraries that are part of different source trees.
* ADDED: peek_string/3, providing long look-ahead to facilitate guessing
the content type from data on (HTTP) streams.
* DOC: More on select/4
* MODIFIED: Use =backtrace_show_lines= flag to derive the default for
subgoal_positions(Boolean) in print_prolog_backtrace/3.
* DOC: select/4. Abramo Bagnara.
* FIXED: Prevent colour handling from failing on a meta-called
list. Wouter Beek.
==============
Package debian
==============
* ADDED: library(pengines) to the Ubuntu PPA builds
* FIXED: SO_PATH patch to avoid -rpath
* DELETED: Java library path for testing patch. This patch is now
generalised and applied to the base system.
* ADDED: library(pengines) to the Ubuntu PPA builds
============
Package http
============
* UPDATED: library(mimetype): Mime type for Turtle, added n-triples
and nquads.
* ADDED: setting http:prefix to library(http/http_path). Fixes
undocumented dependencies on ClioPatria.
===============
Package ltx2htm
===============
* ADDED: \nodcgref{name}{arity}
================
Package pengines
================
* FIXED: pengine_pull_response/2 was not yet updated for UUID based
pengine representation.
* DELETED: Most option-less versions of the pengine_* predicates.
* MODIFIED: Made pengine_send/2 and pengine_send/3 private.
* FIXED: pengine_rpc/3: avoid operator issues between client and server.
* ADDED: JavaScript class Pengine now accepts server: string to define
the location of the server.
* ADDED: Send errors to console.error if there is no onerror handler
and there is a console.
* ADDED: pengine_debug/1
* FIXED: Continue main loop if ask fails due to an unsafe goal.
* FIXED: Terminate if option processing fails.
* ENHANCED: Throw existence_error when sending to a non-existing
pengine. Make pengine_destroy/1 succeed silently if the pengine
has gone.
=============
Package pldoc
=============
* ENHANCED: Use /pldoc/man?section=<ID> for section(ID) object HREF.
==============
Package semweb
==============
* ADDED: library(semweb/rdf_ntriples): Support nquads format.
* DELETED: rdf_db:rdf_input/3 hook that was used by old ClioPatria
versions. Please upgrade ClioPatria if this hits you.
* MODIFIED: rdf_load/2: default graph for loading RDF from an URL now
normalizes the URL and removes a possible #fragment. This ensures
that rdf_load/2 for e.g., skos:Concept and skos:prefLabel load the
same graph.
* DOC: rdf_load/2 updates
* MODIFIED: Load a TRiG file into a single graph if the format =turtle=
is explicitly specified.
============
Package sgml
============
* DOC: \verb$ error
* ENHANCED: Added type checking on element content instead of using
assertion/1. Alan Baljeu.
* FIXED: Crash when loading implicit DTD. Occurs when loading HTML5
using load_xml/3.
=================
Package swipl-win
=================
* FIXED: Avoid getting SWI-Prolog.app inside SWI-Porlog.app
============
Package xpce
============
* ADDED: Support for using the %! comment syntax