klogic: miniKanren in Kotlin - miniKanren'23 Conference

Explore the implementation of miniKanren in Kotlin through this conference talk presented at miniKanren'23. Learn about klogic, a Kotlin-based implementation of the miniKanren logic programming language, as speakers Yury Kamenev, Dmitrii Kosarev, Dmitry Ivanov, Denis Fokin, and Dmitri Boulytchev discuss their approach, challenges, and solutions. Gain insights into the integration of logic programming concepts with Kotlin's features and how klogic leverages the language's strengths to create a powerful and expressive miniKanren implementation.