Re: clojure.core.logic.core/match usage

2011-10-07 Thread David Nolen
There is no conde as defined in The Reasoned Schemer in core.logic. conde in core.logic is condi. David On Friday, October 7, 2011, Sunil S Nandihalli wrote: > Thanks David, > Although not related to core.match, I was playing with your core.logic, I found that there was no condi (there were only

Re: clojure.core.logic.core/match usage

2011-10-07 Thread Ambrose Bonnaire-Sergeant
Hi Sunil, core.logic's conde is condi, there is no equivilant to TRS's conde in core.logic. Thanks, Ambrose On Sat, Oct 8, 2011 at 10:08 AM, Sunil S Nandihalli < sunil.nandiha...@gmail.com> wrote: > Thanks David, > > Although not related to core.match, I was playing with your core.logic, I > fo

Re: clojure.core.logic.core/match usage

2011-10-07 Thread Sunil S Nandihalli
Thanks David, Although not related to core.match, I was playing with your core.logic, I found that there was no condi (there were only conde condu and conda) .. Is it just left as a future thing? Sunil. On Fri, Oct 7, 2011 at 9:34 PM, David Nolen wrote: > Turns out there was another edge case

Re: clojure.core.logic.core/match usage

2011-10-07 Thread David Nolen
Turns out there was another edge case that I missed around :only which I've since fixed in master. Once I resolve MATCH-26 I'll cut another alpha release. David On Fri, Oct 7, 2011 at 11:55 AM, Sunil S Nandihalli < sunil.nandiha...@gmail.com> wrote: > Thanks David for fixing this so fast. It wor

Re: clojure.core.logic.core/match usage

2011-10-07 Thread Sunil S Nandihalli
Thanks David for fixing this so fast. It works very nicely... Sorry I couldn't reply sooner. Sunil. On Thu, Oct 6, 2011 at 8:15 AM, David Nolen wrote: > This should be fixed, I released 0.2.0-alpha4. Feedback appreciated. > > David. > > On Mon, Oct 3, 2011 at 6:27 AM, Sunil S Nandihalli < > suni

Re: clojure.core.logic.core/match usage

2011-10-05 Thread David Nolen
This should be fixed, I released 0.2.0-alpha4. Feedback appreciated. David. On Mon, Oct 3, 2011 at 6:27 AM, Sunil S Nandihalli < sunil.nandiha...@gmail.com> wrote: > Hello everybody, > I was playing with core.match library and I notice the following behavior > > let [x {:a 1 :b 2 :c 10 :d 30}]

Re: clojure.core.logic.core/match usage

2011-10-04 Thread David Nolen
Pattern matching is always top down and wildcards always match. David On Tue, Oct 4, 2011 at 3:21 PM, j1n3l0 wrote: > I thought that since x matches both the first and third patterns, the third > pattern would match better as the value for :a is 1 whereas the value in the > first pattern is _?

Re: clojure.core.logic.core/match usage

2011-10-04 Thread j1n3l0
I thought that since x matches both the first and third patterns, the third pattern would match better as the value for :a is 1 whereas the value in the first pattern is _? -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send

Re: clojure.core.logic.core/match usage

2011-10-03 Thread Sunil S Nandihalli
Thanks David, for the wonderful core.logic and core.match library. Sunil. On Mon, Oct 3, 2011 at 5:39 PM, David Nolen wrote: > It's a bug, thanks for the report, > http://dev.clojure.org/jira/browse/MATCH-23 > > David > > On Mon, Oct 3, 2011 at 6:27 AM, Sunil S Nandihalli < > sunil.nandiha...@g

Re: clojure.core.logic.core/match usage

2011-10-03 Thread David Nolen
It's a bug, thanks for the report, http://dev.clojure.org/jira/browse/MATCH-23 David On Mon, Oct 3, 2011 at 6:27 AM, Sunil S Nandihalli < sunil.nandiha...@gmail.com> wrote: > Hello everybody, > I was playing with core.match library and I notice the following behavior > > let [x {:a 1 :b 2 :c 10

Re: clojure.core.logic.core/match usage

2011-10-03 Thread Bronsa
I *think* this is because when there are multiple matches, the most specialized matches and 1 is less generic than _ On Mon, Oct 3, 2011 at 12.39 PM, "Sunil S Nandihalli" < sunil.nandiha...@gmail.com> wrote: > > If I remove the line [{:a 1 :c _}] :a1 it returns :a-1 .. So, I guess it means that the

Re: clojure.core.logic.core/match usage

2011-10-03 Thread Sunil S Nandihalli
If I remove the line [{:a 1 :c _}] :a1 it returns :a-1 .. So, I guess it means that the behavior is undefined if there are multiple matches. Sunil. On Mon, Oct 3, 2011 at 3:57 PM, Sunil S Nandihalli < sunil.nandiha...@gmail.com> wrote: > Hello everybody, > I was playing with core.match library a

Re: clojure.core.logic.core/match usage

2011-10-03 Thread Sunil S Nandihalli
please excuse the mistake in the namespace in the subject line... it should have been clojure.core.match.core/match On Mon, Oct 3, 2011 at 3:57 PM, Sunil S Nandihalli < sunil.nandiha...@gmail.com> wrote: > Hello everybody, > I was playing with core.match library and I notice the following behav

clojure.core.logic.core/match usage

2011-10-03 Thread Sunil S Nandihalli
Hello everybody, I was playing with core.match library and I notice the following behavior let [x {:a 1 :b 2 :c 10 :d 30}] (match [x] [({:a _ :b _ :c _ :d _} :only [:a :b :c :d])] :a-1 [({:a _ :b 2} :only [:a :b])] :a0 [{:a 1 :c _}] :a1