GitHub repository: sarvex/microkanren-pharo
Primary language: Smalltalk
Description: An implementation of µKanren for Pharo