Re: Where the next effort in prolog will be and a cool match hack!!

2010-09-13 Thread Ludovic Courtès
Hi, Alex Shinn writes: > The default matcher in Racket is extensible by dispatching > on the first symbol in each list, so a pair is (cons a b) and a > list would be (list a b c). This is slightly more verbose, and > looks like how you would generate the data rather than its > actual structure,

Re: Where the next effort in prolog will be and a cool match hack!!

2010-09-13 Thread Stefan Israelsson Tampe
Hi Alex, On Monday, September 13, 2010 04:32:13 am Alex Shinn wrote: > On Fri, Sep 10, 2010 at 6:15 AM, Stefan Israelsson Tampe > > wrote: > > I just wanted to share some ideas that come to my mind to churn the > > prolog into something more useful. > > Have you played with schelog and kanren?