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 <[email protected]> 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 ____________________ Racket Users list: http://lists.racket-lang.org/users
