users-prolog
[Top][All Lists]
Advanced

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

Re: GNU Prolog 1.4.2 is released


From: Daniel Diaz
Subject: Re: GNU Prolog 1.4.2 is released
Date: Fri, 14 Dec 2012 08:57:41 +0100

Hi Fernando,

I'll do my best to provide a viable solution ASAP. There will certainly be some restrictions (due to the fact gprolog is a native compiler and not an emulator). But this should be enough for most use-cases.

Do not hesitate to describe me your needs if they are "exotic" :-)

I keep you informed.

Daniel


Le 13 déc. 2012 à 10:30, Fernando Sáenz Pérez a écrit :

Hello Daniel,
As the manual says:
"The GNU Prolog compiler (section 4.4, page 23) automatically calls expand term/2 on each Term1
read in. However, in the current release, only DCG transformation are done by the compiler (i.e.
term expansion/2 cannot be used)."
Do you have plans to be able to surpass this behavior so that one can use term_expansion on '-->', overriding the built-in expansion?
All the best,
Fernando

Daniel Diaz wrote:
Hello,

gprolog 1.4.2 has just been released (see www.gprolog.org).

This version mainly fixes some little bugs.

Due tot he implementation of term_hash/{2,4}, the atom table management has been modified. Its size is now controlled with an environment variable (MAX_ATOM). The default table size is 32768. If you need more don't forget to define this variable.

Here are the changes w.r.t 1.4.1:

* fix a bug in the compiler for byte-code with op/3 directive
* fix a bug in the debugger
* modify decompose_file_name/4 (fix problems under windows)
* add built-in is_absolute_file_name/1 and is_relative_file_name/1
* modify the compiler include/1 directive handling
  (if the file to include is not found, seach in directories of parent includers)
* modify atom table management (its size can be defined via env. var MAX_ATOM)
* fix a bug with soft-call inside a meta-call
* implement term_hash/2 and term_hash/4. Bacward incompatibility:
  new_atom/3 and and atom_hash/2 no longer exists.
* fix some little bugs with 64 bits (e.g. stream id)
* modify the FD solver to handle very long computations
* fix a bug in the compiler (unification with fresh vars in the body)
* fix a bug with *-> containing ! in the test part (! was not local to the test)
* fix a bug to configure with sigaction on old linux kernels
* fix some problems/bugs on 64 bits machine

Daniel


--
Ce message a été vérifié par MailScanner pour des virus ou des polluriels et rien de suspect n'a été trouvé.

_______________________________________________ Users-prolog mailing list address@hidden https://lists.gnu.org/mailman/listinfo/users-prolog


-- 

==============================================================
Fernando Saenz Perez
Profesor Titular de Universidad / Associate Professor
Home Page: http://www.fdi.ucm.es/profesor/fernan
Tel: + 34 913947642. Fax: + 34 913947547
Despacho / Office: 435 (4ª planta / 4th floor)
Dept. Ingenieria del Software e Inteligencia Artificial / 
Department of Software Engineering and Artificial Intelligence
Universidad Complutense de Madrid
Facultad de Informatica
C/Profesor Jose Garcia Santesmases, s/n
E - 28040 Madrid. Spain
==============================================================

--
Ce message a été vérifié par MailScanner pour des virus ou des polluriels et rien de suspect n'a été trouvé.


--
Ce message a été vérifié par MailScanner pour des virus ou des polluriels et rien de suspect n'a été trouvé.

reply via email to

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