Stable Model Semantics Extension of miniKanren

Stable Model Semantics Extension of miniKanren

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only! Grab it 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.