miniKanren - Embedded Domain Specific Language for logic programming.

Holmes - Reference library for constraint-solving with propagators and CDCL.

Datalog in Haskell - Pure Haskell implementation of Datalog, as a library.

Ceptre - Tiny logic programming language for prototyping rulesets that you can run, interact with, and analyze.