On Sun, Mar 17, 2013 at 8:50 PM, David Nolen dnolen.li...@gmail.com wrote:
I'm happy to announce the release of core.logic 0.8.0. There are far too
changes, bug fixes, and enhancements to cover here. For the most part the
miniKanren portion of core.logic has been left unchanged from the
Couldn't agree more. Thanks for all the effort you put in! I'm very excited
about cl and it's future.
--
From: Denis Labaye
Sent: 18/03/2013 23:06
To: clojure@googlegroups.com
Cc: minikan...@googlegroups.com
Subject: Re: ANN: core.logic 0.8.0
On Sun, Mar 17, 2013
I'm happy to announce the release of core.logic 0.8.0. There are far too
changes, bug fixes, and enhancements to cover here. For the most part the
miniKanren portion of core.logic has been left unchanged from the
standpoint of the user. The biggest change is the inclusion of extensible
constraint
Hot on the heels of 0.8.0, 0.8.1! This is mostly to push out some nice
catches from Jonas Enlund (who works on the Clojure linter Kibit). One cool
addition is that featurec is now recursive so you can constrain extract
features of out nested maps with ease.
This is epic, and a long time coming! Thanks for the hard work David and
congrats to the other contributors, especially Nada and Jonas!
Thanks,
Ambrose
On Mon, Mar 18, 2013 at 3:50 AM, David Nolen dnolen.li...@gmail.com wrote:
I'm happy to announce the release of core.logic 0.8.0. There are
This is probably the last version before I cut 0.8.0. If you're using
core.logic please try this out. There are a couple of bugs that need
squashing in JIRA but it's been nearly 8 months since the last release so
I'd like to push this out now and address any issues with more incremental
updates.
If you are still using core.logic 0.7.5 now's a good time to try the latest
:)
From 0.8.0-beta5 to 0.8.0-rc1
Enhancements
* Add `seqc` constraint, this is preferred over `listo` as found in TRS
Bux Fixes
* LOGIC-100: undiscard diseqality constraints
* LOGIC-101: fix suprising
Hot on the heels of beta4, we have beta5. It fixes an annoying bug around
the `=fd` constraint discovered by Gary Fredericks.
However the biggest change is the inclusion of an entirely new constraint
domain - Nominal Abstract Syntax. This exciting addition is thanks to the
awesome work of Nada
Speaking of core.logic and totally hijacking this thread
Fogus has been prodding me to do a miniKanren Confo during Clojure/West. We
are running a poll for feedback (http://bit.ly/12T37ez) and would be happy
to get more if you have some. Both Byrd and Friedman seem interested in
Enhancements:
- experimental support for Datomic
- eqfd now supports - /
Fixes:
- distinctfd goal behaved badly if argument wasn't ground
- LOGIC-62: distincto bug reveals much larger issues around how we look up
constraints. because vars can be bound in any order and we use vars to map
to
This release is a long time coming. I've done some major reworking of
the constraint portion of the system since the last alpha. If you are
using core.logic 0.7.5 please consider trying this release out -
feedback welcome!
Enhancements
* Improve performance of fd constraints
* eqfd sugar for
11 matches
Mail list logo