StableKanren: Integrating Stable Model Semantics with MiniKanren
Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only! 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.