[erlang-questions] Is erlang suitable to handle Constraint satisfaction problems ?
Thu Nov 5 00:46:14 CET 2009
Actually, there was a (masters?) thesis on constraints in Erlang
years and years ago. Thank you Google:
An Extension of Erlang with Finite-Domain Constraints
Dan Sahlin wrote:
An experiment has also been carried out adding
finite domain constraints to Erlang. The work showed
that although constraint programming does not fit so
well into the functional programming framework, it
was quite feasible to do. As telecom applications
seem to lack the need for constraint solving, the
system will not be included in current releases of
the [Erlang/OTP] system.
I suspect that "lack the need for" may really mean "are not
yet written by people aware of the utility of". See
for one possible counter-example. So I hope that the code
hasn't been lost or bitrotted too much to be salvaged.
As others have noted, modern Prolog systems like SICStus,
Eclipse, and SWI often support contraint programming.
Much depends on what _kind_ of constraints you have to deal with
and the scale of the problem.
More information about the erlang-questions