Re: Users-prolog Digest, Vol 70, Issue 3

[email protected] ha scritto:
> Send Users-prolog mailing list submissions to
> 	[email protected]
>
> To subscribe or unsubscribe via the World Wide Web, visit
> 	http://lists.gnu.org/mailman/listinfo/users-prolog
> or, via email, send a message with subject or body 'help' to
> 	[email protected]
>
> You can reach the person managing the list at
> 	[email protected]
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Users-prolog digest..."
>
>
> Today's Topics:
>
>    1. GNU Prolog 1.3.1 is released (Daniel Diaz)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Tue, 10 Feb 2009 16:53:47 +0100
> From: Daniel Diaz <[email protected]>
> Subject: GNU Prolog 1.3.1 is released
> To: gnu prolog mailling list <[email protected]>
> Message-ID: <[email protected]>
> Content-Type: text/plain; charset=ISO-8859-1; format=flowed
>
> Hi
>
> I have just released version 1.3.1. Changes wrt 1.3.0 are as follows:
>
>
> * add working sigaction detection to detect fault addr (e.g. Mac OS X)
> * add gplc option --no-mult-warn
> * add prolog flags suspicious_warning, multifile_warning
> * detect integer underflow/overflow in the parser
> * fix a memory leak in catch/3
> * increase limits (MAX_VAR_NAME_LENGTH=1024 and MAX_VAR_IN_TERM=10240)
> * add PL_INT_LOWEST_VALUE and PL_INT_GREATEST_VALUE to gprolog.h
> * prefix all global symbols, constants and types with Pl_ PL_ Pl
> * fix a bug in the byte-code due to new max number of atoms
> * provide a minimal gprolog.h
> * detect if struct sigcontext needs asm/sigcontext.h on linux
> * modify gplc: --c-compiler also sets linker and --linker added
> * port to x86_64/bsd - many thanks to:
>    David Holland <[email protected]>
> * fix problem using ebx as global reg (bug in gcc 4.3.2)
> * fix a bug in is/2 with [X] (X should only be an integer)
> * fix a bug with atoms '/*' '*/' and '%' (were not quoted)
> * increase maximum number of atoms to 1048576 (2^20)
> * increase default stack sizes (16Mb for heap, 8Mb for others)
> * fix stack alignment for x86_64/Solaris
> * include patch from Paul Eggert <[email protected]> for sparc/solaris8
> * port to x86_64/Solaris - many thanks to:
>    Scott L. Burson <[email protected]>
> * fix a bug in arithmetics (mod)
> * fix a bug in the FD solver (under 64 bits machines)
>
> Enjoy
>
>   
Well, great news! But I'm sorry to inform you that the site you provided 
for the reference to H. Aït-Kaci. “Warren’s Abstract Machine, A Tutorial 
Reconstruction†Logic Programming Series, MIT Press, 1991 is not valid 
any more.

Thanks for the gprolog, anyway!

-- Antonio