Ann: SWI-Prolog 5.6.47

View: New views
3 Messages — Rating Filter:   Alert me  

Ann: SWI-Prolog 5.6.47

by Jan Wielemaker :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

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@...

Parent Message unknown Re: Ann: SWI-Prolog 5.6.47 (MacOS X Intel Installer package)

by Jan Wielemaker :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

On Monday 19 November 2007 18:23:37 you wrote:
> Hi Jan!
>
> You may downloaded the MacOS X Intel installer from the following URL:
>
> http://www.di.ubi.pt/~pmoura/swi-prolog-5.6.47-tiger-intel.mpkg.zip
>
> The installer was built using the portfile you sent me earlier today.
> Some quick tests under X11 don't reveal any issues. Running "otool"
> on the XPCE library gives the following output:

Sounds promising.  So, no more freetype and fontconfig meta packages :-)

        --- Jan

> pmoura$ otool -L pl2xpce.dylib
> pl2xpce.dylib:
>          /opt/local/lib/swipl-5.6.47/lib/i386-darwin8.11.1/
> libpl.dylib (compatibility version 0.0.0, current version 5.6.47)
>          /usr/X11R6/lib/libXpm.4.dylib (compatibility version 4.11.0,
> current version 4.11.0)
>          /opt/local/lib/libjpeg.62.dylib (compatibility version
> 63.0.0, current version 63.0.0)
>          /usr/X11R6/lib/libXinerama.1.dylib (compatibility version
> 1.0.0, current version 1.0.0)
>          /usr/X11R6/lib/libXext.6.dylib (compatibility version 6.4.0,
> current version 6.4.0)
>          /usr/X11R6/lib/libXt.6.dylib (compatibility version 6.0.0,
> current version 6.0.0)
>          /usr/X11R6/lib/libX11.6.dylib (compatibility version 6.2.0,
> current version 6.2.0)
>          /usr/X11R6/lib/libSM.6.dylib (compatibility version 6.0.0,
> current version 6.0.0)
>          /usr/X11R6/lib/libICE.6.dylib (compatibility version 6.3.0,
> current version 6.3.0)
>          /usr/X11R6/lib/libXft.2.dylib (compatibility version 2.1.0,
> current version 2.1.0)
>          /usr/X11R6/lib/libXrender.1.dylib (compatibility version
> 1.2.0, current version 1.2.0)
>          /usr/X11R6/lib/libfontconfig.1.dylib (compatibility version
> 1.0.0, current version 1.0.0)
>          /usr/X11R6/lib/libexpat.0.dylib (compatibility version
> 0.4.0, current version 0.4.0)
>          /usr/X11R6/lib/libfreetype.6.dylib (compatibility version
> 6.3.0, current version 6.3.0)
>          /opt/local/lib/libz.1.dylib (compatibility version 1.0.0,
> current version 1.2.3)
>          /usr/lib/libSystem.B.dylib (compatibility version 1.0.0,
> current version 88.3.9)
>
> I checked that the zlib installer package is also included in
> the .mpkg (which forced me to run "sudo portindex" first in the
> "ports" directory).


------------
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@...

Parent Message unknown Re: Ann: SWI-Prolog 5.6.47

by Jan Wielemaker :: Rate this Message:

Reply to Author | View Threaded | Show Only this Message

On Tuesday 20 November 2007 11:01, you wrote:
> On 19 Nov 2007, at 15:44, Jan Wielemaker wrote:
> > * New library predicates: partition/4,5, append/2, include/3,
> > exclude/3,
> > merge_options/3.  Probably more will follow.  Thanks for the input.
>
> Jan
>
> Since the reference manual is still at 5.6.45, where do I find
> information on the currently available built-in and library predicates?

Sorry, forgot to upload the latest version. Fixed. Other than that, the
online help is always up to date and so is the PlDoc server. The
distribution installes the HTML files in ....<plbase>/doc/Manual for use
with PlDoc.  Finally, there is the searchable manual at

        http://gollem.science.uva.nl/SWI-Prolog/pldoc/

Ultimately it would be nice to link the predicates and sections of the
manual to a taxonomy of terms from the programming world and use that
to enhance the search.

        Cheers --- Jan


------------
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@...