你写的规则，机器跑完之后还能认出来吗？

我在翻USENIX Security的老论文时撞见这篇《Datalog Disassembly》，看完愣了几秒——Datalog作为规则语言，编译后还能被拆解还原？这不只是编译器逆向的问题。作者干的事，本质上是对"规则到规则"的翻译做了一次反向攻击。逻辑系统的封闭性意味着，你藏起来的所有条件分支，理论上都能被逆向推导出来。这让我想到，任何声明式的知识表达，只要存在确定性的编译过程，就很难做到真正的隐藏。这篇文章在HN上没什么水花，但它戳中的那个点——可解释性与可逆性之间的裂缝——远没有1个点赞那么轻。

原文：Datalog Disassembly [pdf] · 来源：Hacker News