Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a conference talk that introduces stableKanren, an innovative extension of miniKanren incorporating normal logic programming support under stable model semantics. Delve into the challenges of implementing non-monotonic reasoning in a functional programming environment and discover how the authors evolved resolution and unification techniques to create a dynamic search stream. Learn about the use of macros and continuations to weave runtime-generated information into future streams dynamically, and understand the implementation of co-inductive resolution for handling loops in normal logic programs. Gain insights into the potential future developments, including bottom-up optimization and support for various input rules, in this cutting-edge exploration of logic programming and solver design.
