Hi everyone, I'm the author. I created this partially to help me understand the concepts in Norvig & Russell's AI book. I plan on using it in a larger project t

Hi everyone, I'm the author. I created this partially to help me understand the concepts in Norvig & Russell'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. I think it's a really interesting trick. It's also exciting to see my stuff show up on HN. :)