<div dir="ltr">If you're interested in Rackety logic programming languages in general, you could take a look at miniKanren's Racket port and beginner's resources at <a href="http://minikanren.org">http://minikanren.org</a><div> <br></div><div>Claire</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Jul 6, 2013 at 8:30 PM, Jay McCarthy <span dir="ltr"><<a href="mailto:jay.mccarthy@gmail.com" target="_blank">jay.mccarthy@gmail.com</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">If you look at the papers referenced in the Datalog documentation, you<br> can get a good start on the theory of Datalog and some things related<br> to it.<br> <br> Jay<br> <div class="HOEnZb"><div class="h5"><br> On Sat, Jul 6, 2013 at 1:49 PM, Richard Lawrence<br> <<a href="mailto:richard.lawrence@berkeley.edu">richard.lawrence@berkeley.edu</a>> wrote:<br> > Mark Engelberg <<a href="mailto:mark.engelberg@gmail.com">mark.engelberg@gmail.com</a>><br> > writes:<br> ><br> >> While we're on the topic of exploring from Racket to alternative languages,<br> >> what's the friendliest way to dip into Prolog coming from a Racket<br> >> background?<br> ><br> > Well, there's the Racklog module:<br> ><br> > <a href="http://docs.racket-lang.org/racklog/" target="_blank">http://docs.racket-lang.org/racklog/</a><br> ><br> > There's also the Datalog language:<br> ><br> > <a href="http://docs.racket-lang.org/datalog/" target="_blank">http://docs.racket-lang.org/datalog/</a><br> ><br> > I have played around with Racklog a bit, and found it a nice way to try<br> > out Prolog-style programming with easy fallback to Racket when desired.<br> > But I'm a Prolog newbie myself, so I don't have any reading materials to<br> > recommend, besides the Racklog docs.<br> ><br> > HTH,<br> > Richard<br> ><br> ><br> > ____________________<br> > Racket Users list:<br> > <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br> <br> <br> <br> </div></div><span class="HOEnZb"><font color="#888888">--<br> Jay McCarthy <<a href="mailto:jay@cs.byu.edu">jay@cs.byu.edu</a>><br> Assistant Professor / Brigham Young University<br> <a href="http://faculty.cs.byu.edu/~jay" target="_blank">http://faculty.cs.byu.edu/~jay</a><br> <br> "The glory of God is Intelligence" - D&C 93<br> </font></span><div class="HOEnZb"><div class="h5">____________________<br> Racket Users list:<br> <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br> </div></div></blockquote></div><br></div>