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)