Hi,
I've just uploaded SWI-Prolog 5.6.0 as the official new stable release.
Briefly summarising the main changes of 5.6.0 with respect to *5.4.7*:
* Unicode character support. This notably simplifies processing
international HTML, XML and RDF documents.
* Unbounded integer and rational arithmetic (based on GMP).
Removed non-standard and dubious automatic int <-> float conversion.
Sponsored by SSS (http://www.sss.co.nz).
* Many enhancements to CHR. New clp(r) library. Various more
specialised constraint libraries. Check the manual. Contributed
by Tom Schrijvers, Leslie de Koninck and Markus Triska.
* Many enhancements to the RDF store: thread-safe operation,
transactions, triggers, Unicode support.
* Many enhancements to the built-in web-server, notably recovering
from errors.
Changes relative to 5.5.40:
* Bug in indexing code that can result in slow access and/or
wasting too much memory (very old bug).
Plans
=====
There are still a number of minor problems that will be sorted out in
the 5.6.x series. I plan to design and realise a new kernel (compiler +
virtual machine) in the 5.7.x series. The aim is to cleanup the design
and reach at a kernel featuring roughly the same friendly and robust
environment but with much better performance and prepared to add tabling
support.
There are several ways you can help. If you have experience in the
design and implementation of Prolog you can comment on design plans
and/or contribute code. If you are in a position where you can arrange
to sponsor this development I need to spend less time on funded
projects.
Happy holidays --- Jan
|
