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 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.
