Re: Querying hierarchies in core.logic
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 kfjwhee...@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 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. -- -- 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.
Re: Querying hierarchies in core.logic
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 javascript: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.comjavascript: 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 javascript: 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 javascript:. 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.
Re: Querying hierarchies in core.logic
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.
Querying hierarchies in core.logic
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 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.
