Re: ANN: core.logic 0.8.0

2013-03-18 Thread Denis Labaye
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

RE: ANN: core.logic 0.8.0

2013-03-18 Thread Coen De Roover
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

ANN: core.logic 0.8.0

2013-03-17 Thread David Nolen
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

Re: ANN: core.logic 0.8.0

2013-03-17 Thread David Nolen
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.

Re: ANN: core.logic 0.8.0

2013-03-17 Thread Ambrose Bonnaire-Sergeant
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

ANN: core.logic 0.8.0-rc3

2013-03-13 Thread David Nolen
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.

ANN: core.logic 0.8.0-rc1

2013-01-07 Thread David Nolen
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

ANN: core.logic 0.8.0-beta5, Hello CLP(Nom)!

2013-01-01 Thread David Nolen
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

Re: ANN: core.logic 0.8.0-beta5, Hello CLP(Nom)!

2013-01-01 Thread Alex Miller
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

ANN: core.logic-0.8.0-beta2

2012-10-26 Thread David Nolen
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

ANN: core.logic 0.8.0 beta1

2012-10-14 Thread David Nolen
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