Constraint-based systems

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