[Haskell-cafe] Constraing satisfaction

[Andrew Wagner]

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 at gmail.com <drop669 at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>