1 paper · 2 filters
Xiangyu Guo, Ajay Bansal
This paper presents Constraints as Verifiers and Emitters (CaVE), a constraint storage approach for handling integrity constraints in stableKanren. stableKanren is a normal logic-p…