Re: Ann: SWI-Prolog 6.5.1
Michael Hendricks <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <CAFHuXuZxKzA372w1RbFRG-eoD799s5PmHAAkWx_ayjxeSoWSgA@mail.gmail.com> |
Hi Jan, On Mon, Aug 12, 2013 at 2:43 PM, Jan Wielemaker <[email protected]> wrote: > I've uploaded SWI-Prolog 6.5.1. There are a lot of changes. Highlights: > > - Detection of `semantic singletons' by the compiler. This proofs > to result in a quite high percentage of real bugs. My rough > estimate is about 1/3th! And this is on established code! > - Singleton detection with quasi quotations (do not claim a > singleton of a QQ introduces a reference to the singleton > in its expansion). > - prolog_load_context/2 provides access to variable names. There's some great stuff in this release. I'm especially pleased to see the three changes above. Kudos! -- Michael -------------- next part -------------- HTML attachment scrubbed and removed