[Haskell-cafe] Constraing satisfaction

[drop669 at gmail.com]

>> 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"?