2 papers
cs.PL2022
Scheduling Complexity of Interleaving Search
Dmitry Rozplokhas, Dmitry Boulytchev
miniKanren is a lightweight embedded language for logic and relational programming. Many of its useful features come from a distinctive search strategy, called interleaving search.…
cs.PL2020
Certified Semantics for Relational Programming
Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev
We present a formal study of semantics for the relational programming language miniKanren. First, we formulate a denotational semantics which corresponds to the minimal Herbrand mo…