Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'. - View it on GitHub