Prolog写WAF：硬核实验，还是行为艺术？

我盯着这条帖看了一会儿——有人用SWI Prolog从头到尾搭了一个WAF，然后公开悬赏让人来攻破它。选逻辑编程语言做安全工具，这念头本身就野。Prolog的约束传播和回溯推理天然适配规则匹配，作者显然吃透了这点，还把话挑明了：来，打。我倾向于认为这东西离生产环境还有距离，但作为一次范式实验，它够格被认真对待。攻防双方的思维框架根本不在同一层——一边穷举规则路径，一边找逻辑盲区。这不是性能问题，是认知层面的博弈。Prolog不性感，但做WAF这种"规则即正义"的活，它可能比大部分主流语言都更本色。

原文：Show HN: I built a WAF 100% on SWI Prolog. Here is a challenge to break it · 来源：Hacker News