Re[2]: [Haskell-cafe] Constraing satisfaction

2007-07-30 Thread drop669
>> 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


[Haskell-cafe] Constraing satisfaction

2007-07-30 Thread drop669
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?

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe