https://massimo-nocentini.github.io/tags/minikanren/Recent content in Minikanren on Massimo NocentiniHugoenmassimo.nocentini@gmail.com (Massimo Nocentini)massimo.nocentini@gmail.com (Massimo Nocentini)Sun, 01 Mar 2015 18:33:23 +0100https://massimo-nocentini.github.io/post/2015-03-00-efficient-representations-of-triangular-substitutions/Sun, 01 Mar 2015 18:33:23 +0100massimo.nocentini@gmail.com (Massimo Nocentini)https://massimo-nocentini.github.io/post/2015-03-00-efficient-representations-of-triangular-substitutions/This paper studies efficient representations for triangular substitutions in miniKanren, showing how skew binary random-access lists reduce lookup costs while preserving the advantages of a purely functional Scheme implementation.https://massimo-nocentini.github.io/post/2026-02-04-minikanren-live-and-untagged/Sun, 09 Sep 2012 18:33:23 +0100massimo.nocentini@gmail.com (Massimo Nocentini)https://massimo-nocentini.github.io/post/2026-02-04-minikanren-live-and-untagged/This paper presents relational interpreters for subsets of Scheme in miniKanren, emphasizing backward execution, quine generation, constraint-based reasoning, and untagged representations that simplify interpreter design.