[racket] Offtopic: Favorite resources for mastering Prolog [was: SML]?

From: claire alvis (claire.alvis at gmail.com)
Date: Tue Jul 9 12:08:09 EDT 2013

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
http://minikanren.org

Claire


On Sat, Jul 6, 2013 at 8:30 PM, Jay McCarthy <jay.mccarthy at gmail.com> wrote:

> If you look at the papers referenced in the Datalog documentation, you
> can get a good start on the theory of Datalog and some things related
> to it.
>
> Jay
>
> On Sat, Jul 6, 2013 at 1:49 PM, Richard Lawrence
> <richard.lawrence at berkeley.edu> wrote:
> > Mark Engelberg <mark.engelberg at gmail.com>
> > writes:
> >
> >> While we're on the topic of exploring from Racket to alternative
> languages,
> >> what's the friendliest way to dip into Prolog coming from a Racket
> >> background?
> >
> > Well, there's the Racklog module:
> >
> > http://docs.racket-lang.org/racklog/
> >
> > There's also the Datalog language:
> >
> > http://docs.racket-lang.org/datalog/
> >
> > I have played around with Racklog a bit, and found it a nice way to try
> > out Prolog-style programming with easy fallback to Racket when desired.
> > But I'm a Prolog newbie myself, so I don't have any reading materials to
> > recommend, besides the Racklog docs.
> >
> > HTH,
> > Richard
> >
> >
> > ____________________
> >   Racket Users list:
> >   http://lists.racket-lang.org/users
>
>
>
> --
> Jay McCarthy <jay at cs.byu.edu>
> Assistant Professor / Brigham Young University
> http://faculty.cs.byu.edu/~jay
>
> "The glory of God is Intelligence" - D&C 93
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20130709/32e1b6ed/attachment-0001.html>

Posted on the users mailing list.