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