CSS 的蜕变：从网页样式到通用递归查询语言的理论重构

本文探讨了将 CSS 选择器与 Datalog（一种逻辑编程语言）相结合的大胆构想，提出了“CSSLog”这一概念。作者指出，CSS 的选择器机制本质上与数据库查询同构，但受限于无法进行递归推导。通过引入“不动点”语义，CSSLog 能够在树状结构（如 DOM、JSON）中执行复杂的逻辑运算和属性传播。这一思想不仅揭示了 CSS 背后的数学原理，也为处理复杂数据查询提供了一种基于声明式语法的全新视角。