Thanks Brent, fixed! https://github.com/frenchy64/Logic-Starter/wiki/_compare/70c2518e77c3a52b38645f656c03149b31edcb32...837b794bedf93c959982533e8bdd12ef4fecf141
Ambrose On Thu, Jul 21, 2011 at 8:46 AM, Brent Millare <brent.mill...@gmail.com>wrote: > Should the example: > > (run* [q] > (geto 'g > [['f :- Integer]] > Integer) > (== q true)) > ;=> () > The type association ['g :- Integer] does not occur in the environment > [ ['f :- Integer] ], so geto succeeds. > > Read "so geto fails" instead? since the result is ()? > > On Jul 20, 9:28 am, Ambrose Bonnaire-Sergeant > <abonnaireserge...@gmail.com> wrote: > > 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 > -- 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
