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