Sunil, I've been away from that code for a while, so I forget the details about its cut operator. However, I would really encourage you to read The Reasoned Schemer, which is where that code came from.
I'm also intending to change it to use Fogus' unifier when I get home. Jim On Nov 3, 8:14 am, Sunil S Nandihalli <[email protected]> wrote: > Hi Konrad, > It is really nice .. But I was wondering if it had a cut operator or > predicate .. similar to '!' in prolog.. > Thanks, > Sunil. > > On Wed, Nov 3, 2010 at 1:20 PM, Sunil S Nandihalli < > > [email protected]> wrote: > > Thanks Konrad. I will look at it. > > Sunil > > > On Wed, Nov 3, 2010 at 1:08 PM, Konrad Hinsen > > <[email protected]>wrote: > > >> 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 [email protected] > >> Note that posts from new members are moderated - please be patient with > >> your first post. > >> To unsubscribe from this group, send email to > >> [email protected]<clojure%[email protected]> > >> 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 post to this group, send email to [email protected] Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/clojure?hl=en
