GitHub repository: sarvex/microkanren-prolog
Primary language: Prolog
Description: Prolog implementation of microKanren