- guanxi - Exploration of relational programming in Haskell.
- hs-logic - Simple library for Haskell that allows relational programming.
- Imp - Spreadsheets + Relations + Time. (Code)
- Relational programming in miniKanren: Techniques, applications, and implementations (Code)
- TablaM - Practical relational programing language for data-oriented applications. (Web)
- William Byrd on logic and relational programming, miniKanren (2014) (HN)
- metaKanren: Towards a self-synthesizing miniKanren (Code)
- µKanren-rs - Rust implementation of µKanren, a featherweight relational programming language.
- µKanren - Implementation of microKanren, a featherweight relational programming language.
- microKanren in Lua
- staged-miniKanren - Staged relational interpreters: running with holes, faster.
- relic - Functional relational programming for Clojure/Script.
- "Strange Dreams of Stranger Loops" by Will Byrd (2021) (Code)
- μKanren: A Minimal Functional Core for Relational Programming (2013) (Annotated) (HN)