Re: GNU Prolog 1.4.2 is released

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
>> [email protected]
>> 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 ete verifie par MailScanner
pour des virus ou des polluriels et rien de
suspect n'a ete trouve.

_______________________________________________
Users-prolog mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/users-prolog