2026/07/20 by Rafaello Sanna, William E. Byrd, Nada Amin
Computer Science · #Constraint Satisfaction and Optimization #Logic, programming, and type systems #Logic, Reasoning, and Knowledge
paper · pdf · doi:10.4204/eptcs.450.30
We present CHRKANREN, a dialect of the purely relational constraint logic programming language MINIKANREN [13,14,4] which includes support for Constraint Handling Rules (CHR) [15], a language for writing rule-based programs such as constraint solvers.We show how to integrate CHR's constraint propagation mechanism into the language of MINIKANREN search streams such that both processes remain complete.We also use CHRKANREN to illustrate novel applications of constraints in MINIKANREN, such as semantic unification of user-defined data structures and example propagation in relational interpreters in the style of MYTH [27].