On Tue, Jul 19, 2011 at 3:31 PM, Tassilo Horn <tass...@member.fsf.org>wrote:
> David Nolen <dnolen.li...@gmail.com> writes: > > Hi David, > > > I highly recommend checking this out if you're curious about > > core.logic, https://github.com/frenchy64/Logic-Starter/wiki > > I've just read it, and I think I've grasped most of it although my last > prolog encounter is quite some time back. But how am I supposed to go > from here? I mean, there's no single function or macro in core.logic > that has at least a docstring!?! > Ambrose has submitted a patch which I need to go over. Even so, I don't think docstrings are going to help you that much. If you want to dig in I recommend reading: - The Reasoned Schemer When it comes to logic programming it does help to have a basic understand of the execution model. - William Byrd's thesis on miniKanren, https://scholarworks.iu.edu/dspace/handle/2022/8777 At this point you'll still be at loss as far as practical applications - for that you need to look at some Prolog literature: - Bratko's Prolog Programming for Artificial Intelligence - Sterling & Shapiro's Art of Prolog Attempting to compete with the existing high-quality literature is a non-goal for me at least. I admit that diving into core.logic is a bit of an adventure at this point (though I'd like to think a very rewarding one). As more people give it a shot I hope others will weigh in with wonderful tutorial/guides such as Ambrose's. 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
