[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell-cafe
Subject:    Re: [Haskell-cafe] Constraing satisfaction
From:       "Andrew Wagner" <wagner.andrew () gmail ! com>
Date:       2007-07-30 23:36:12
Message-ID: b8a8636e0707301636l4fffa85ay68e31877f4800ce8 () mail ! gmail ! com
[Download RAW message or body]

Haskell is certainly up for the challenge. You may be interested in
this paper, for example: http://citeseer.ist.psu.edu/335780.html

On 7/30/07, drop669@gmail.com <drop669@gmail.com> wrote:
> >> I have a set of problems in the field of constaint satisfaction and
> >> I'm looking for a tool for this. In simplest form, these task are like
> >> Sudoku puzzle solver, school schedule creator, etc.
> >> Prolog language comes to mind at first.
>
> > Have you seen Eclipse? http://eclipse.crosscoreop.com/ - it looks
> > perfect for the problems you are listing.
>
> Yes. It looks like further development of Prolog.
>
> > You could do the same in a domain specific language in Haskell, but
> > I'm not sure anyone has written one, so I'd recommend Eclipse.
>
> So, my question is not about language but about some constraint
> satisfaction "engine"?
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe@haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>

[prev in list] [next in list] [prev in thread] [next in thread]