thanks Jim for your email. I will try to get my hands on Reasoned Schemer.. :) Sunil.
On Wed, Nov 3, 2010 at 7:44 PM, jim <[email protected]> wrote: > 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]> > <clojure%[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]<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
