[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Antonio Maschio
Subject: Re: Users-prolog Digest, Vol 70, Issue 3
Date: Tue, 10 Feb 2009 18:32:48 +0100
User-agent: Thunderbird (Windows/20081209)

address@hidden ha scritto:
Send Users-prolog mailing list submissions to

To subscribe or unsubscribe via the World Wide Web, visit
or, via email, send a message with subject or body 'help' to

You can reach the person managing the list at

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


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)
* 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)


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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]