Re: ANN: core.logic 0.8.0
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 standpoint of the user. The biggest change is the inclusion of extensible constraint logic programming (CLP) - specifically we now support constraint logic programming over finite domains as well as nominal logic programming. It's been a long time since the last release, getting all the CLP bits working has been a quite a job, but moving forward releases should be considerably more incremental. https://github.com/clojure/core.logic Happy relational hacking! hurray! David -- -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups Clojure group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out. -- -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups Clojure group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
RE: ANN: core.logic 0.8.0
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 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 standpoint of the user. The biggest change is the inclusion of extensible constraint logic programming (CLP) - specifically we now support constraint logic programming over finite domains as well as nominal logic programming. It's been a long time since the last release, getting all the CLP bits working has been a quite a job, but moving forward releases should be considerably more incremental. https://github.com/clojure/core.logic Happy relational hacking! hurray! David -- -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups Clojure group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out. -- -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups Clojure group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out. -- -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups Clojure group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
ANN: core.logic 0.8.0
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 logic programming (CLP) - specifically we now support constraint logic programming over finite domains as well as nominal logic programming. It's been a long time since the last release, getting all the CLP bits working has been a quite a job, but moving forward releases should be considerably more incremental. https://github.com/clojure/core.logic Happy relational hacking! David -- -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups Clojure group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
Re: ANN: core.logic 0.8.0
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. http://github.com/clojure/core.logic/blob/master/CHANGES.md On Sun, Mar 17, 2013 at 2: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 standpoint of the user. The biggest change is the inclusion of extensible constraint logic programming (CLP) - specifically we now support constraint logic programming over finite domains as well as nominal logic programming. It's been a long time since the last release, getting all the CLP bits working has been a quite a job, but moving forward releases should be considerably more incremental. https://github.com/clojure/core.logic Happy relational hacking! David -- -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups Clojure group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
Re: ANN: core.logic 0.8.0
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 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 logic programming (CLP) - specifically we now support constraint logic programming over finite domains as well as nominal logic programming. It's been a long time since the last release, getting all the CLP bits working has been a quite a job, but moving forward releases should be considerably more incremental. https://github.com/clojure/core.logic Happy relational hacking! David -- -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups Clojure group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out. -- -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups Clojure group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
ANN: core.logic 0.8.0-rc3
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. Changes: http://github.com/clojure/core.logic/blob/master/CHANGES.md David -- -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups Clojure group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
ANN: core.logic 0.8.0-rc1
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 behavior with vars in nom/hash * LOGIC-96: fix disequality constraints * LOGIC-95: fix disequality constraints * LOGIC-53: core.logic converts defrecords * LOGIC-88: fix disequality reification * LOGIC-92: improve interaction between nominal CLP(FD) functionality * LOGIC-91: fix `predc` entailment issues -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en
ANN: core.logic 0.8.0-beta5, Hello CLP(Nom)!
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 Amin. I don't expect this feature to be utilized by many, but if you're interested in theoretical computer science (lambda calculus, pi-calculus, type inferencers, and much more), it's incredibly fun stuff. If you'd like to learn more about nominal logic programming I recommend the following paper: http://arxiv.org/abs/cs/0609062 I believe this may be the very first time nominal logic programming has been properly hosted within a Constraint Logic Programming framework :) Even if you're not interested in theoretical computer science, the inclusion of this work has been critical in confirming the extensibility of core.logic to other forms of logic programming without requiring any critical changes to the core. http://github.com/clojure/core.logic Happy New Years! David -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en
Re: ANN: core.logic 0.8.0-beta5, Hello CLP(Nom)!
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 participating, although nothing is confirmed yet. Based on the early feedback, it will probably be either the afternoon of Sunday Mar 17 (day before Clojure/West) or Monday Mar 18 in the evening. Cost will probably be $50 for 3-4 hrs of talk about logic programming, core.logic, miniKanren, and other such things! Hopefully I'll have the logistics finalized in the next couple days. Alex Miller On Tuesday, January 1, 2013 4:03:07 PM UTC-6, David Nolen wrote: 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 Amin. I don't expect this feature to be utilized by many, but if you're interested in theoretical computer science (lambda calculus, pi-calculus, type inferencers, and much more), it's incredibly fun stuff. If you'd like to learn more about nominal logic programming I recommend the following paper: http://arxiv.org/abs/cs/0609062 I believe this may be the very first time nominal logic programming has been properly hosted within a Constraint Logic Programming framework :) Even if you're not interested in theoretical computer science, the inclusion of this work has been critical in confirming the extensibility of core.logic to other forms of logic programming without requiring any critical changes to the core. http://github.com/clojure/core.logic Happy New Years! David -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en
ANN: core.logic-0.8.0-beta2
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 constraints in the store we need a stable root var. constrained vars are now added as ::unbound in the substitution map. This information is used to determine if a var is a root. - partial map unification and easy unification now support in ClojureScript - LOGIC-61: fix partial map support for CLJS - LOGIC-63: fix simple unification support for CLJS - removed deprecated IPrintable from core.logic CLJS, implemented IPrintWithWriter distinctfdc only needs to watch ::subst http://github.com/clojure/core.logic Feedback welcome, David -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en
ANN: core.logic 0.8.0 beta1
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 easy declaration of equations * LOGIC-49: Partial unfication with maps now possible with partial-map * LOGIC-57: Improve performance of tabled goals Fixes * LOGIC-46: Unification with struct maps supported Changes * Unification with domain types no longer supported * Unification with sets no longer supported: LOGIC-54 through 56 -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en