Stable Model Semantics Extension of miniKanren

Explore a conference talk that delves into the extension of miniKanren with stable model semantics. Learn from presenters Xiangyu Guo, James Smith, and Ajay Bansal as they discuss their research and findings in this 47-minute presentation from the miniKanren'23 conference. Gain insights into the intersection of logic programming and answer set programming, and discover how this extension enhances miniKanren's capabilities for solving complex problems.

[miniKanren'23] Stable Model Semantics Extension of miniKanren