尚未生成 AI 速览（可能缺少 API key 或等待下次运行补跑）。
We present seven programming challenges in Racket, and an elegant, unified approach to solving them using constraint logic programming in miniKanren.
@article{ByrdBRM17,
title = {A unified approach to solving seven programming problems (functional pearl)},
author = {William E. Byrd and Michael Ballantyne and Gregory Rosenblatt and Matthew Might},
journal = {Proceedings of the ACM on Programming Languages},
volume = {1},
number = {ICFP},
year = {2017},
doi = {10.1145/3110252}
}