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

Robert Virding <>
Wed Nov 4 21:06:56 CET 2009


As mentioned there is no built-in support for constraint satisfaction in
Erlang. There is, however, a Prolog interpreter implemented in erlang,
Erlog, which could be useful if you need other Erlang features as well.
There is no constraint satisfaction in erlog now but I am itching for a
reason to add it. It seems like it could be a fun project.

http://github.com/rvirding/erlog

Robert

2009/11/4 Torben Hoffmann <>

> Hi Jun,
>
> I don't think constraint satisfaction is one of Erlang's strengths.
>
> The syntax has roots in Prolog, but that is just about it - you won't get
> any of Prolog's wonderful inference algorithms.
>
> You should look at Mozart/Oz, Prolog or <something I don't know about> for
> constraint satisfaction.
>
> Unless the frequency assignment problem is something completely different
> than what I read from your description!
>
> Cheers,
> Torben
>
> On Wed, Nov 4, 2009 at 19:42, Jun HU <> wrote:
>
> > Hello all,
> >
> > I'm a PhD student in computer science, currently i'm working
> > constraint satisfaction problem, notable in frequency assignment
> > problem. I'm just wondering that erlang is suitable for this kind of
> > problems or not.
> >
> >
> >
> > Thanks in advance.
> >
>
>
>
> --
> http://www.linkedin.com/in/torbenhoffmann
>


More information about the erlang-questions mailing list