是否可以在Racket中执行constraint logic programming？例如，可以在Racket中解决这些问题：http://people.sju.edu/~jhodgson/clp/howto_clpr.html或此页面上的SENDMORE问题：https://en.wikibooks.org/wiki/Prolog/Constraint_Logic_Programming。我也在这些页面上找不到Racket和Scheme：https://en.wikipedia.org/wiki/Constraint_logic_programming和https://en.wikipedia.org/wiki/Constraint_programming
我看到minikanren：http://io.livecode.ch/learn/webyrd/webmk和http://planet.racket-lang.org/package-source/dfriedman/miniKanren.plt/1/1/doc.txt以及https://github.com/miniKanren/Racket-miniKanren但找不到真实的例子。