Re: GNU Prolog 1.4.2 is released

[Paulo Moura]

Hi Fernando,

On 13/12/2012, at 09:30, Fernando Sáenz Pérez <address@hidden> wrote:

> 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?

I cannot speak for Daniel's plans for GNU Prolog :-) But Logtalk supports a 
fully portable term- and goal-expansion mechanism. The corresponding hook 
predicates can be source-file specific, defined by default for all source files 
(if no source file specific expansion applies), or be Prolog dialect specific 
(in no source file specific or default expansion applies). The source files can 
contain both Prolog and/or Logtalk code. The expansion mechanisms also supports 
expansion of annotated terms (as you find e.g. on B-Prolog action rules, 
ProbLog probabilistic clauses, or CHR constraints).

Cheers,

Paulo


> 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
> ==============================================================
> 
> _______________________________________________
> Users-prolog mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/users-prolog

-----------------------------------------------------------------
Paulo Moura
Logtalk developer

Email: <mailto:address@hidden>
Web:   <http://logtalk.org/>
-----------------------------------------------------------------