[racket] Constraint satisfaction problems

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Tue Sep 30 15:28:32 EDT 2014

cKanren would be best. datalog in particular isn't great because its
data is first-order, which can be awkward. A prolog (like racklog or
parenlog) might be good, but cKanren is nicer to program in.

Jay

On Tue, Sep 30, 2014 at 3:24 PM, Matthew Butterick <mb at mbtype.com> wrote:
> What are the options for modeling & solving CSPs in Racket?
>
> Would Datalog be suitable? cKanren?
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users



-- 
Jay McCarthy
http://jeapostrophe.github.io

           "Wherefore, be not weary in well-doing,
      for ye are laying the foundation of a great work.
And out of small things proceedeth that which is great."
                          - D&C 64:33

Posted on the users mailing list.