miniKanren with a first-order representation of the search space
Primary LanguageRacketMIT LicenseMIT