I would read Will's dissertation http://scholarworks.iu.edu/dspace/bitstream/handle/2022/8777/Byrd_indiana_0093A_10344.pdf. This will give you an idea how the basics work. I recommend getting on the miniKanren mailing list if you would like to ask specific questions about core.logic's implementation.
http://groups.google.com/group/minikanren On Thu, Apr 4, 2013 at 10:49 PM, JvJ <kfjwhee...@gmail.com> wrote: > I'm actually very interested in getting involved with core.logic, but I'm > having a hard time finding a comprehensive guide to the implementation of > the systems. I've gathered some bits and pieces about how goals work, but > I'm not sure I totally understand the system. Do you know any good places > to start with that? > > > On Thursday, 4 April 2013 22:08:38 UTC-4, David Nolen wrote: > >> Sounds interesting. I've seen nothing like this in the Prolog literature, >> but I may not have looked hard enough. Probably worth investigating, might >> turn up some other interesting ideas even if you can't make >> assertion/retraction relational. >> >> >> On Thu, Apr 4, 2013 at 9:21 PM, JvJ <kfjwh...@gmail.com> wrote: >> >>> I've been working a lot with core.logic and pldb (https://github.com/** >>> threatgrid/pldb <https://github.com/threatgrid/pldb>), and I've been >>> troubled by the lack of an assertion operation that would allow addition of >>> facts to a database as a relational operation. I've been thinking that >>> this could be solved by creating some kind of monad that could carry a >>> database context along with variable substitutions when executing a logic >>> program.... >>> >>> Is anybody working on anything like this, and does it seem like the kind >>> of thing that may be useful/feasible to implement? >>> >>> 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<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<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.
