Also, since I can't find the function lvar-in?, I'm assuming it works something like this:
(defn lvar-in? [a x] (lvar? (walk a x))) On Monday, 11 March 2013 14:34:12 UTC-4, JvJ wrote: > > Thanks for pointing out the conversation! It helps. So did the article. > > All this logic programming makes my brain hurt... but in a good way. > > On Monday, 11 March 2013 06:11:30 UTC-4, Ambrose Bonnaire-Sergeant wrote: >> >> Hi, >> >> There's a brief transcript of a conversation with Tassilo under the ns. >> >> He also wrote a nice blog post on the technique >> http://tsdh.wordpress.com/2012/01/06/using-clojures-core-logic-with-custom-data-structures/ >> >> Thanks, >> Ambrose >> >> On Mon, Mar 11, 2013 at 12:21 PM, JvJ <kfjwh...@gmail.com> wrote: >> >>> I understand that it is possible, and I have found a code example here : >>> https://github.com/frenchy64/Logic-Starter/blob/master/src/logic_introduction/extend.clj#L76 >>> >>> However, the code presented is rather terse, and some functions, such as >>> lvar-in? aren't documented. >>> >>> Does anyone know of something that describes this code, or at least the >>> process involved? >>> >>> Thanks. >>> >>> -- >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "Clojure" group. >>> To post to this group, send email to clo...@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+u...@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 unsubscribe from this group and stop receiving emails from it, send >>> an email to clojure+u...@googlegroups.com. >>> For more options, visit https://groups.google.com/groups/opt_out. >>> >>> >>> >> >> -- -- 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 unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
