Constraing satisfaction
Hi. 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. But if to choose Haskell? Can be these tasks defined in Haskell with the same elegance as in Prolog, or I'll need some additional framework or library?
Hi
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. 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. Thanks Neil
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 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
participants (3)
-
Andrew Wagner -
drop669＠gmail.com -
Neil Mitchell