GitHub repository: JonathanMMartin/first-order-miniKanren
Primary language: Racket
Description: miniKanren with a first-order representation of the search space