A unified approach to solving seven programming problems (functional pearl)
Abstract
We present seven programming challenges in Racket, and an elegant, unified approach to solving them using constraint logic programming in miniKanren.
Related papers
- Fun with semirings: a functional pearl on the abuse of linear algebra ICFP 2013
- Functional pearl: a smart view on datatypes ICFP 2015
- More Fixpoints! (Functional Pearl) ICFP 2023
- Segments: An alternative rainfall problem JFP 2021
- Functional Pearl: A program to solve Sudoku JFP 2006
- A play on regular expressions: functional pearl ICFP 2010
- A Clash Course in Solving Sudoku (Functional Pearl) Haskell 2025
- Recursive subtyping revealed: functional pearl ICFP 2000