[email protected] ha scritto:
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.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
Thanks for the gprolog, anyway! -- Antonio _______________________________________________ Users-prolog mailing list [email protected] http://lists.gnu.org/mailman/listinfo/users-prolog
