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

[Antonio Maschio]

address@hidden ha scritto:
> Send Users-prolog mailing list submissions to
>         address@hidden
>
> 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
>         address@hidden
>
> You can reach the person managing the list at
>         address@hidden
>
> 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 <address@hidden>
> Subject: GNU Prolog 1.3.1 is released
> To: gnu prolog mailling list <address@hidden>
> Message-ID: <address@hidden>
> 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 <address@hidden>
> * 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 <address@hidden> for sparc/solaris8
> * port to x86_64/Solaris - many thanks to:
>    Scott L. Burson <address@hidden>
> * 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