Re: ANN: core.logic 0.8.6
David, first of all, congratulations for core.logic. I would like to start with logic programming, but the texts I found aren't for starters like me, even though I have a good experience as software developer and functional programming is not a mistery anymore. What would you recommend for someone who wants to try and understand core.logic? Thank you Plinio Balduino On Saturday, February 8, 2014, David Nolen dnolen.li...@gmail.com wrote: The main change is the introduction of a new protocol IVerifyConstraint. Implementations of it will be called before a constraint is added to the constraint store - this is the hook needed for detecting incompatible constraints. More information here: http://github.com/clojure/core.logic Feedback welcome! -- You received this message because you are subscribed to the Google Groups Clojure group. To post to this group, send email to clojure@googlegroups.comjavascript:_e(%7B%7D,'cvml','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.comjavascript:_e(%7B%7D,'cvml','clojure%2bunsubscr...@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.comjavascript:_e(%7B%7D,'cvml','clojure%2bunsubscr...@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: ANN: core.logic 0.8.6
My honest suggestion is to get a copies of The Reasoned Schemer, The Art of Prolog, and Concepts Techniques Models of Computer Programming. They cover the terrain far better than any documentation or tutorial can. David On Sat, Feb 8, 2014 at 4:26 PM, Plínio Balduino pbaldu...@gmail.com wrote: David, first of all, congratulations for core.logic. I would like to start with logic programming, but the texts I found aren't for starters like me, even though I have a good experience as software developer and functional programming is not a mistery anymore. What would you recommend for someone who wants to try and understand core.logic? Thank you Plinio Balduino On Saturday, February 8, 2014, David Nolen dnolen.li...@gmail.com wrote: The main change is the introduction of a new protocol IVerifyConstraint. Implementations of it will be called before a constraint is added to the constraint store - this is the hook needed for detecting incompatible constraints. More information here: http://github.com/clojure/core.logic Feedback welcome! -- 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. -- 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: ANN: core.logic 0.8.6
Thank you Plinio Balduino 11 982 611 487 On 08/02/2014, at 19:29, David Nolen dnolen.li...@gmail.com wrote: My honest suggestion is to get a copies of The Reasoned Schemer, The Art of Prolog, and Concepts Techniques Models of Computer Programming. They cover the terrain far better than any documentation or tutorial can. David On Sat, Feb 8, 2014 at 4:26 PM, Plínio Balduino pbaldu...@gmail.com wrote: David, first of all, congratulations for core.logic. I would like to start with logic programming, but the texts I found aren't for starters like me, even though I have a good experience as software developer and functional programming is not a mistery anymore. What would you recommend for someone who wants to try and understand core.logic? Thank you Plinio Balduino On Saturday, February 8, 2014, David Nolen dnolen.li...@gmail.com wrote: The main change is the introduction of a new protocol IVerifyConstraint. Implementations of it will be called before a constraint is added to the constraint store - this is the hook needed for detecting incompatible constraints. More information here: http://github.com/clojure/core.logic Feedback welcome! -- 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. -- 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.
ANN: core.logic 0.8.6
The main change is the introduction of a new protocol IVerifyConstraint. Implementations of it will be called before a constraint is added to the constraint store - this is the hook needed for detecting incompatible constraints. More information here: http://github.com/clojure/core.logic Feedback welcome! -- 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.