Does anyone know of any constraint satisfaction systems programmed in Erlang? Any references would be appreciated. -- Steve
>