Hi Meikel, On Tue, Jul 19, 2011 at 2:27 PM, Meikel Brandmeyer <m...@kotka.de> wrote:
> Hi Ambrose, > > I haven't been exposed to logic programming besides the examples David > posted to the list. I found your tutorial very easy to follow and to read. I > have two minor nit-picks. > > > 1. I understand, that these o, e and some third, I think, suffixes are > there historically. And for someone not used to logic programming they are > as counter-intuitive as it can get: o == relati*o*n? o.O WTF. Maybe you > can motivate a little why they are called like that historically? I > personally need such explanations in case of such (on first sight) > unrelated > things. > 2. After going through some more or less easy to follow and to > understand examples, you dive into the interesting stuff: the definition of > typedo - and loose me completely with c, e, t, k, m, v, s and ?r. I > understand that c probably means context, e expression and t type. But > trying to keep the meaning of exists, matche, geto and other funny names > with strange suffixes in the cache *and* coping with one character > locals is - at least for me - a bit much. > > I've tried to address some of your points in the tutorial. I've added a bit of background with an intro. I also dropped the whole walkthrough with typedo, and replaced it with an interesting (but much easier) look at geto. See "Utility Function: geto" for the new section. https://github.com/frenchy64/Logic-Starter/wiki Let me know what you think. Ambrose -- 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
