Hi,
I've uploaded SWI-Prolog 5.6.47. As you can see, quite some things have been
added
and fixed. Some highlights:
* Fix configure for MacOS Leopart.
* Fix a real GC error in calls from Prolog -> C -> Prolog if a variable
is created in the outer Prolog call, passed through C back to a
recursive call in Prolog, where it is bound followed by a garbage
collect call. That won't happen very often :-)
* New library predicates: partition/4,5, append/2, include/3, exclude/3,
merge_options/3. Probably more will follow. Thanks for the input.
* Added apply_macros.pl, providing compile-time expansion of some higher
order predicates. Experimental and incomplete.
* Some enhancements to RDF database reload.
* Various PlDoc issues and included documentation for more libraries into
the PDF documentation through PlDoc LaTeX backend.
Enjoy --- Jan
P.s. PPC MacOS installer is been created after updating Darwinports and
dependent
packages. This created the same Xft issues as for the Intel version Paulo
compiles. I've hacked around this and created an executable with the same
dependencies (I hope ...)
================================================================
SWI-Prolog changes since version 5.6.46
================================================================
================================================================
+++ b/ChangeLog
+VERSION 5.6.47 November 16, 2007
+
+ * ADDED: partition/4 and some fixed to the manual generation
+
+ * FIXED: Allow for Name//Arity in current_predicate/1.
+
+ * ADDED: append/2 to concatenate a list of lists. Suggested my Markus
Triska.
+
+ * FIXED: Possibly incorrect `early reset' in GC for variables involved in
calls
+ from Prolog -> C -> Prolog. Roberto Bagnara.
+
+ * ENHANCED: Throw proper error when redefining an imported procedure
+
+ * ADDED: library(apply) with include/3, exclude/3, partition/5.
+ Moved sublist/3 from built-in to library(backcomp). Added library apply
+ to the manual.
+
+ * ADDED: merge_options/3.
+
+ * FIXED: Bug#322: typo in messages.pl. Holger Kanwischer.
+
+ * ADDED: assoc_to_keys/2 to get a list of keys from an assoc
+
+ * ADDED: support for once/1 and ignore/1 to apply_macros.pl
+
+ * FIXED: Unwanted non-deterministic behaviour in qcompile/1
+
+ * ADDED: library apply_macros.pl, doing compile-time unfolding of maplist/2
and
+ higher arity.
+
+ * ADDED: compile_aux_clauses/2 to deal with auxilerary clauses for
goal_expansion/2.
+
+ * DOC: Added PlDoc documentation to library(assoc).
+
+ * INSTALL: Bug#319: Allow for parallel make install. Keri Harris
+
+ * PORT: Fixed configuration of profile timer for MacOX Leopart. After
+ discussion with Hiroo Koshimoto.
+
+ * FIXED: Avoid source_file(?PI, +File) creating a source-file entry for
+ File This bug caused the appearence of spurious index.html files in
+ PlDoc directory listings.
+
================================================================
+++ b/packages/http/ChangeLog
+[Nov 16 2007]
+
+ * ENHANCED: Bug#323: no longer force bgcolor=white in pagebody//1. Chris
Sutton.
+
+[Nov 9 2007]
+
+ * ADDED: type between(Low, High) for numerical values
+
+[Nov 6 2007]
+
+ * ADDED: post/receive mechanism to modularize CSS and Javascript support in
+ library(html_write). Documented using PlDoc LaTeX backend
+
================================================================
+++ b/packages/odbc/ChangeLog
+[Nov 8 2007]
+
+ * ADDED: Support for `MARS' connections in library(odbc). Matt Lilley.
+
================================================================
+++ b/packages/sgml/ChangeLog
+[Nov 12 2007]
+
+ * FIXED: Bug#320: Memory leak when parsing SGML NOTATIONs. Keri Harris.
+
================================================================
+++ b/packages/xpce/ChangeLog
+[Nov 15 2007]
+
+ * ADDED: library(apply) with include/3, exclude/3, partition/5.
+ Moved sublist/3 from built-in to library(backcomp). Added library apply
+ to the manual.
+
+[Nov 12 2007]
+
+ * ADDED: PceEmacs: ->insert_file_header expands %E to E-mail address
+
+ * INSTALL: Bug#319: Allow for parallel make install. Keri Harris
+
================================================================
+++ b/packages/pldoc/ChangeLog
+[Nov 15 2007]
+
+ * DOC: Included documentation for library(option) in the manual
+
+[Nov 7 2007]
+
+ * ENHANCED: PlDoc $ ... : style description list to use CSS styling.
+
+[Nov 6 2007]
+
+ * FIXED: PlDoc LaTeX backend for [[name//arity]]
+
================================================================
+++ b/packages/semweb/ChangeLog
+[Nov 14 2007]
+
+ * FIXED: RDF HTTP plugin to request application/rdf+xml. Yves Raimond.
+
+[Nov 11 2007]
+
+ * ADDED: Allow deleting an inverse_of predicate property
+
+[Nov 8 2007]
+
+ * ENHANCED: Minimise the time we keep a lock in rdf_load_db/1 to exploit
+ concurrency.
+
+ * ADDED: silent(brief) option value to rdf_attach_db/2. Avoid some
file-system
+ tests to speedup loading many named graphs.
+
+ * ENHANCED: Speedup for rdf_retractall(_,_,_,DB) for empty or non-extenting
+ databases.
+
+ * ENHANCED: Avoid quadratic effect when loading many graphs from many
+ snapshot files as used in rdf_persistency.pl. Spotted by Yves Raimond
+ loading 17,000 graphs.
+
------------
For further info, please visit
http://www.swi-prolog.org/To unsubscribe, send a plaintext mail with "unsubscribe prolog <e-mail>"
in its body to
majordomo@...