Ask HN: Would you consider an explicit AST/NNF logic engine a "Core of XAI"? | Heykuki News