search

webyrd / TAPL-in-miniKanren-cKanren-core.logic

Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic
35 stars 7 forks source link

Need to add CLP(Set) constraints to cKanren #2

Closed webyrd closed 11 years ago

webyrd commented 12 years ago

TAPL uses set-theoretic operations extensively. Although these can be implemented in core miniKanren, the operations will be extremely inefficient. This is a perfect opportunity to use constraints, as described in:

http://cmpe.emu.edu.tr/bayram/courses/532/ForPresentation/p861-dovier.pdf

webyrd commented 11 years ago

@calvis and @nadamin have implemented CLP(Set) for cKanren in Racket and miniKanren in Scheme, respectively.