30 Jul
2007
30 Jul
'07
7:11 p.m.
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"?