Re: Constraint-based systems

I'd like to also mention "Higher Order Perl", by Mark J Dominus.  The
ultimate program developed in the book is a contrainst-based solver
language.

http://hop.perl.plover.com/

Philip


On 4/6/06, Matthias Felleisen <[email protected]> wrote:
>
> 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
> >
> >
>
>
>