2 papers
cs.PL2026
chrKanren: Constraint Handling Rules in a Relational Language
Rafaello Sanna, William E. Byrd, Nada Amin
We present chrKanren, a dialect of the purely relational constraint logic programming language miniKanren which includes support for Constraint Handling Rules (CHR), a language for…
cs.PL2025
Beyond Cons: Purely Relational Data Structures
Rafaello Sanna, William E. Byrd, Nada Amin
We present {Kanren} (read: set-Kanren), an extension to miniKanren with constraints for reasoning about sets and association lists. {Kanren} includes first-class set objects, a fun…