GitHub repository: sarvex/ml-mukanren
Primary language: Standard ML
Description: microkanren in sml