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
