Re: Constraint-based systems

If you want to combine Prolog with Scheme, use Schelog. We just 
prototyped a type-checking idea in this world because we needed 
Prolog-style constraints, not just type checking. Alternatively, look 
at Kanren and the Reasoned Schemer. -- Matthias


On Apr 6, 2006, at 12:00 PM, Peter Van Roy wrote:

> 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
>
>