GitHub repository: zaoqi/zKanren
Primary language: Racket
Created: 2017-08-06T13:59:45Z
Description: zKanren: MicroKanren with Constraints and noto