项目作者： namin

项目描述：
CLP(Set) in miniKanren

高级语言： Scheme

项目主页：

项目地址: git://github.com/namin/clpset-miniKanren.git

创建时间： 2013-04-03T15:35:44Z
项目社区：https://github.com/namin/clpset-miniKanren
开源协议：
下载

CLP(Set) in miniKanren

A prototype of CLP(Set) in miniKanren.

Implemented the rewrite rules as described in
Sets and Constraint Logic Programming by Dovier et al.
The prototype is feature-complete wrt to the paper.

I also double-check the CLP(Set) tests by running
them in {log},
a CLP(Set) implementation in Prolog.