miniKanren 2023
2023-09-08
Seattle, United States
[miniKanren 2020, miniKanren 2021, miniKanren 2022, miniKanren 2023, miniKanren 2024, miniKanren 2026]
| title | author | length |
|---|---|---|
| klogic: miniKanren in Kotlin | Yury Kamenev, Dmitrii Kosarev, Dmitry Ivanov, Denis Fokin, Dmitri Boulytchev | 39m |
Klogic implements miniKanren on the JVM using Kotlin and ships as a usable library; it exposes strong typing of logic variables, disequality constraints and… | ||
| Semi-Automated Direction-Driven Functional Conversion | Ekaterina Verbitskaia, Igor Engel, Daniil Berezun | 47m |
A semi-automated pipeline converts miniKanren relations into functional code that preserves search completeness by normalizing goals, running mode analysis to… | ||
| Stable Model Semantics Extension of miniKanren | Xiangyu Guo, James Smith, Ajay Bansal | 47m |
Extends miniKanren with a top‑down solver for stable model (answer set) semantics implemented in Scheme macros and modified continuations, adding a negation… | ||
| Goals as Constraints: Writing miniKanren Constraints in miniKanren | Evan Donahue | 45m |
Adds an extension to miniKanren that runs arbitrary miniKanren goals as constraints, implemented as two cooperating interpreters that treat constraints as… | ||
| miniKanren: Discussion on the Future of miniKanren | 01h 26m | |
miniKanren has ~17–18 years of history, dozens of tiny implementations and a few heavier ones; concrete wins include a relational interpreter that enables… | ||
| miniKanren: Tutorial | William E. Byrd | 01h 25m |
Demo shows a relational interpreter for a Scheme subset implemented in faster-miniKanren that exposes eval as an evalo relational interpreter, supports… | ||
| nothing matches | ||