Is it possible to do constraint logic programming in Racket? For example, can these problems be solved in Racket: http://people.sju.edu/~jhodgson/clp/howto_clpr.html or the SENDMORE problem on this page: https://en.wikibooks.org/wiki/Prolog/Constraint_Logic_Programming . I also could not find Racket and Scheme on these pages: https://en.wikipedia.org/wiki/Constraint_logic_programming and https://en.wikipedia.org/wiki/Constraint_programming
I see minikanren: http://io.livecode.ch/learn/webyrd/webmk and http://planet.racket-lang.org/package-source/dfriedman/miniKanren.plt/1/1/doc.txt and https://github.com/miniKanren/Racket-miniKanren but cannot find real examples.