3 papers
cs.PL2026
CaVE: A Constraint Storage Approach to Handling Integrity Constraints
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…
cs.PL2025
Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity Constraints in stableKanren
Xiangyu Guo, Ajay Bansal
This paper presents examples of using integrity constraints in stableKanren to encode numeric computations for problem solving. Then, we use one of the examples to introduce multip…
cs.PL2024
Improving stableKanren's Backward Compatibility
Xiangyu Guo, Ajay Bansal
We improve the backward compatibility of stableKanren to run miniKanren programs. stableKanren is a miniKanren extension capable of non-monotonic reasoning through stable model sem…