[erlang-questions] Is erlang suitable to handle Constraint satisfaction problems ?

Richard O'Keefe ok@REDACTED
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 mailing list