~/talk

klogic: miniKanren in Kotlin

on YouTube 39m
Talkat miniKanren 2023 · on Friday, 2023-09-08· [kotlin]

speakers

name:Yury Kamenev
links:none on file
name:Dmitrii Kosarev
links:none on file
name:Dmitry Ivanov
x:korifey_ad
name:Denis Fokin
links:none on file
name:Dmitri Boulytchev
links:none on file

resources

video:https://youtu.be/KbMGa460Feg
slides:none on file

summary

Klogic implements miniKanren on the JVM using Kotlin and ships as a usable library; it exposes strong typing of logic variables, disequality constraints and relational event observers and represents substitutions with persistent maps. Benchmarks run against fast-mini and OCaml/Racket show noticeably slower performance, attributed to JVM/static-typing overhead and missing optimizations (no set-var optimization yet). The codebase works functionally for examples and CLI tasks; planned work is optimization of disequality and substitution paths and a translator from core.logic code.

AI-written summary · about

chapters (6)

  1. 0:00Introduction and motivation
  2. 5:31Core features of KLogic
  3. 10:31Implementation details
  4. 15:28Challenges and limitations
  5. 20:33Benchmarks and future work
  6. 23:00Q&A and discussion

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.