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?

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-12 Thread Alex Shinn
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? > So I have been trying to rework Shins hygienic version if ice-9 match so that >

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

2010-09-10 Thread Andy Wingo
On Fri 10 Sep 2010 10:50, Andy Wingo writes: > I think this is the right approach (making a separate) :) "Making a separate module", I mean. A -- http://wingolog.org/

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

2010-09-10 Thread Andy Wingo
Hi Stefan, No comments on the actual code, but: On Thu 09 Sep 2010 23:15, Stefan Israelsson Tampe writes: > (use-modules (ice-9 match-phd)) I think this is the right approach (making a separate) :) Alex's code is clean, understandable, and has a historical interface to respect. Your has lots