Show HN: A Prolog-powered reverse WAF logic perimeter with SIMD acceleration