[racket] Constraint satisfaction problems

[Matthew Butterick]

What are the options for modeling & solving CSPs in Racket?

Would Datalog be suitable? cKanren?
____________________
  Racket Users list:
  http://lists.racket-lang.org/users