Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
