Relational programming ​

Links ​

• 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. (HN)
• "Strange Dreams of Stranger Loops" by Will Byrd (2021) (Code)
• μKanren: A Minimal Functional Core for Relational Programming (2013) (Annotated) (HN)