[racket] Constraint satisfaction problems
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