Re: Has anyone solved the zebra/einstein puzzle using core.logic?

2012-03-23 Thread Jim - FooBar(); 
aaa ok i see...so i'm supposed to pivot around house and NOT around 
person as i was trying to...thanks for the link - very much appreciated!


Jim


On 23/03/12 17:43, Daniel Gagnon wrote:



p.s: If someone thinks that the zebra puzzle is too complicated as
a first example please don't hesitate to say so...I recently
purchased "the reasoned schemer" (hasn't arrived yet) which
hopefully explains things at a good pace.


It's actually pretty simple. Take a look at the Prolog version: 
http://en.literateprograms.org/Zebra_Puzzle_(Prolog) 



--
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 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: Has anyone solved the zebra/einstein puzzle using core.logic?

2012-03-23 Thread Daniel Gagnon 
>
>
> p.s: If someone thinks that the zebra puzzle is too complicated as a first
> example please don't hesitate to say so...I recently purchased "the
> reasoned schemer" (hasn't arrived yet) which hopefully explains things at a
> good pace.
>
>
It's actually pretty simple. Take a look at the Prolog version:
http://en.literateprograms.org/Zebra_Puzzle_(Prolog)

-- 
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

Has anyone solved the zebra/einstein puzzle using core.logic?

2012-03-23 Thread Jim - FooBar(); 

Hi everyone,

I 've been trying for the past couple of days to formulate the zebra 
puzzle in clojure as an exercise to get my  head round core.logic...I 
can't seem to do it properly and so i was wondering if anyone can 
provide a well commented solution so i can study it thorougly. I know 
David Nolen has solved it (says so on core.logic github page) but i'd 
expect his solution to be very elaborate/optimized rather than simple 
(he's a logic-guru whereas i'm a logic-newbie)...I only need this for 
studying so the simpler the better!


Thanks in advance...

Jim

p.s: If someone thinks that the zebra puzzle is too complicated as a 
first example please don't hesitate to say so...I recently purchased 
"the reasoned schemer" (hasn't arrived yet) which hopefully explains 
things at a good pace.


--
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