Committing to the bit: Relational programming with semiring arrays and SAT solving

Dmitri Volkov, Yafei Yang, Chung-chieh Shan

We propose semiringKanren, a relational programming language where each relation expression denotes a semiring array. We formalize a type system that restricts the arrays to finite…