GNU Prolog 1.4.1 is released

Daniel Diaz <[email protected]>
Newsgroups gmane.comp.gnu.prolog.general
Message-ID <[email protected]>
Hello,

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

Here are the changes w.r.t 1.4.0:

* improve signal handling

* add an option --wam-comment to gplc and pl2wam

* fix multifile directive (works now with an empty predicate as
required by ISO)

* fix absolute_file_name to expand ~ using HOMEDRIVE and HOMEPATH
under windows

if HOME is not defined

* improve listing/0-1 output

* add soft cut control construct and its associated operator *->

* improve the top-level results in case of cyclic terms

* fix arithmetic evaluable functor ^/2 to work with floats

* increase maximum number of variables in a term

* add write_term option variable_names

* add built-in predicates between/3 and succ/2

* fix bug in the DCG expander

* fix bug in member/2

* recognize escape sequence \s (space) and \e (escape) if strict_iso
is off

* add error detection in length/2 if given length is negative

* add built-in predicates maplist/2-5

* fix a regression bug in the FD solver about sparse domains

* increase size of FD internal stacks and fix memory leak

* port to x86_64/Darwin (Mac OS X) - many thanks to:

Ozaki Kiichi <[email protected]>

* fix a bug in x86_64 with --disable-regs

* fix a bug when consulting a file under Win XP/Vista 32 bits

* fix a bug when consulting a file using '$VAR'(N) or '$VARNAME'(A)

* fix a bug in new_atom/1-2 which returned duplicates

* fix a bug in write/1 when an empty atom is passed

* improve portray_clause (numbervars and space before final dot)

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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.