Ann: SWI-Prolog 7.1.9
Jan Wielemaker <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
Hi,
I have uploaded SWI-Prolog 7.1.9. Highlights:
- Various issues with functional notation on dicts: expansion in
clause heads, defining user functions, support in the development
environment (colouring, source location in the tracer).
- Processing dicts in stack traces.
- Fixed source location tracking for some DCGs and inlined calls for
phrase/2,3, forall/2, once/1 and ignore/1.
- Several updates to pengines.
- Semweb: fixed turtle bug (DoS attack: could eat all memory on malformed
Turtle. Added RDFa parser.
- Installer: fixed installation issue with precompiling libraries for the
Windows installer.
Enjoy --- Jan
========================================
SWI-Prolog Changelog since version 7.1.8
========================================
* FIXED: safe_goal/1: allow calling back into the original module,
even if the predicate is not public.
* ENHANCED: goal-expanded phrase/2,3 goals now process the position
* ENHANCED: Use goal_expansion/4 for ignore/1, once/1 and forall/2,
maintaining position information.
* FIXED: Position logic for DCGs that produce no body.
* FIXED: clause_info/4: avoid non-termination in position logic
* FIXED: Trying to colour M.func := ... raised an exception.
* FIXED: Windows installer: undefined predicate: wise_install_xpce.
Jan Burse.
* FIXED: Non-deteminism in shallow copy for stacktraces.
* ADDED: Maintain position logic for function expansion.
* ENHANCED: clause_info/4 now calls expand_term/4 to include position
logic.
* ADDED: Shallow copy of dicts for generating stack traces.
* ENHANCED: prolog_read_source_term/4, with subterm positions now uses
term_expansion/4 and goal_expansion/4 work properly with position
information.
* FIXED: Allow defining functions on dicts in other modules.
* FIXED: Definition of user-functions on dicts
* ADDED: Functional expansion in the head. Bob Minors and Chris
Dijkshoorn.
* DOC: Updated PlDoc such that we can use it for the manual.
* DOC: Use PlDoc version for documenting library(check).
============
Package http
============
* FIXED: Json convert rule ordering if last properties are ignored.
================
Package pengines
================
* FIXED: Syntax error and renamed figures to avoid _ in their name
(causes problems with LaTeX backend).
* FIXED: enabled the use of the src option in pengines.js
* FIXED: expanded comment to pengine_respond/3
* FIXED: the I/O example to use pengine_input/2 and pengine.respond()
* FIXED: made pengine.send private in pengines.js
* FIXED: changed pengines.input -> pengines.respond in pengines.js
* FIXED: whitelisted pengie_input/2
* DELETED: pengine_set_prompt/1 and pengine_get_prompt/1
* FIXED: replaced pengine_input/1 with pengine_input/2
* FIXED: comment for pengine_respond/3
* FIXED: updated images again
* FIXED: updated images
* ADDED: pengine_respond/3
* FIXED: forgot to make the semicolon in the PLTP rund diagram red
* FIXED: json-s output
* FIXED: documentation
* FIXED: the examples in the examples directory
* ADDED: added diagram depicting a PLTP run
* FIXED: corrected examples
* FIXED: removed cut that stopped pengine_abort/1 from working
* FIXED: Sandbox declarations for pengine_event_loop/2 and
pengine_ask/3. Still not functioning due to errors in library(sandbox).
* FIXED: Input/output handling under pengine_rpc/3.
* MODIFIED: pengine_debug/1 --> pengine_debug/2 using format/2 spec.
==============
Package semweb
==============
* ADDED: library(semweb/rdfa) for parsing RDFa documents.
* FIXED: Bug#160: rdf_load_library/2 claims non-existence of URLs.
* FIXED: Turtle parser on """"\"""" (should read '""')
* DOC: Updated docs to add a new index. Haitao Zhang.
* FIXED: Include <assert.h>
* FIXED: EOF cannot appear in an IRIREF. Wouter Beek
* FIXED: rdf_meta/1: pass non-compliant arguments verbatim instead of
failing the expansion.
============
Package sgml
============
* FIXED: Default charset of HTML5 files is UTF-8
* DOC: load_html/3.
* MODIFIED: HTML5 DTD to accommodate RDFa attributes.