On 3 Nov 2010, at 06:04, Sunil S Nandihalli wrote:

Hello everybody,
I was wondering if one can code in a way semantically similar to prolog using the backtracking monads.. Has anybody tried it .. ? I did see the tutorial which demonstrates backtracking monads ..
http://brehaut.net/blog/2010/ghosts_in_the_machine

Have a look at this tutorial:

        http://intensivesystems.net/tutorials/logic_prog.html

and get the code that goes with it:

        http://github.com/jduey/mini-kanren

It's not quite full-fledged Prolog, but you can do a lot with it.

Konrad.

--
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

Reply via email to