Re: Constraint-based systems

Borislav Iordanov wrote:
> Hi all,
>
> I'm looking for some pointers on constraint-based inference systems,
> theory and implementation. I have a concrete problem to solve, so a
> read-made implementation (preferably in Scheme) would be prefect, but
> I'd be also happy to implement/extend something myself. A pointer to a
> more relevant discussion group would also be appreciated!
>
> Regards,
> Borislav
>
>   
There are lots of sophisticated implementations and most of them are not in
Scheme (sorry).  Off-hand I can recommend SICStus Prolog, ILOG Solver,
Mozart, and Gecode.   Gecode in particular is a recent very promising one
that incorporates many advanced techniques (www.gecode.org).  Both
Mozart and Gecode offer complete source code with open-source licenses.

Peter Van Roy