Hi everyone, I&#x27;m the author. I created this partially to help me understand the concepts in Norvig &amp; Russell&#x27;s AI book. I plan on using it in a larger project that requires logic-based reasoning after I add in a few search heuristics. The same technique of resolution can pretty easily be applied to first-order logic as well.<p>I think it&#x27;s a really interesting trick. It&#x27;s also exciting to see my stuff show up on HN. :)