用 AWK 写 Datalog：awklog 如何把依赖关系变成可查询规则
构建系统、代码生成器和权限检查，经常要回答同一类问题：某个目标依赖哪些输入？某项权限能否沿关系传递？如果把事实和规则散落在脚本里，递归、重复结果与顺序依赖就会很快变得难维护。awklog 提供了一个小巧的实验入口：它用 POSIX AWK 实现 Datalog，让关系事实与推导规则能直接写在文本文件中，再用查询取得结果。
项目作者将它定位为可嵌入的小型构件，例如供构建系统或从形式规格生成 C 代码的工具使用；它刻意不面向超大数据集。仓库采用 BSD 2-Clause 许可证，解释器由 awklog shell 包装器和 awklog.awk 两个文件组成，不需要额外依赖。
先从图的可达性开始
Datalog 把数据表示为关系，把推理写成规则。下面的程序描述有向边，并定义递归的路径关系：
edge(a, b). edge(b, c). edge(c, d). path(X, Y) :- edge(X, Y). path(X, Z) :- edge(X, Y), path(Y, Z). path(a, X)?
事实以句点结束；规则使用 :- 表示“当右侧条件成立时，左侧关系成立”；问号则发起查询。第二条 path 规则把已知边与已有路径连接，因此可以逐步推出从 a 出发的间接可达节点。按项目 README 给出的示例，运行后会得到 b、c、d。
从源码仓库检出后，包装器可直接运行：
./awklog examples/graph.dl
也可以在命令行附加查询，或让结果按值排序：
./awklog -s -q 'path(X, Y)?' examples/graph.dl ./awklog -c examples/policy.dl
-q 可重复使用；-s 对每条查询的结果排序。-c 只检查程序，不执行推导或输出查询结果，适合放进编辑—检查循环。README 还提供 make install，默认安装至 /usr/local/bin/awklog，也可通过 PREFIX=$HOME/.local 指定前缀。
规则安全性与否定语义
这个工具的价值不只是语法短。它会检查规则中的变量是否安全：出现在规则头、否定条件或比较表达式里的变量，必须先由同一规则体中的正向关系绑定。比如 ready(X) :- task(X), not blocked(X). 中，X 由 task(X) 提供；如果删掉这个正向条件，规则就不安全，程序会在求值前报错。
否定采用分层语义。not blocked(X) 表示在相关关系完成后，blocked 中不存在对应行；若依赖图出现通过否定回到自身的循环，程序会拒绝执行，而不是猜测一个结果。关系按集合处理，因此重复事实或重复推导不会让查询重复打印同一行。
工程上还有两个容易忽略的细节。首先，未定义的谓词会被视为空关系并给出警告，拼写错误因此可能是警告而非硬错误；其次，没有规则、约束或查询读取的派生谓词也会触发警告，帮助发现“写了却没被使用”的检查逻辑。把 -c 纳入测试流程，能尽早暴露语法、安全性和这类结构问题。
适用边界：小数据与可移植性
awklog 不构建关系索引，连接可能需要扫描整张关系；项目建议面向数百条规则、数万条事实量级，而不是大型数据仓库。递归求值使用半朴素策略，只重新处理新推导出的行，但这并不消除无索引连接的成本。若输入很大或连接成为瓶颈，应考虑带索引的数据库或专用 Datalog 引擎，而不是期待 AWK 自动扩展。
它的另一个取舍是可读性和可移植性。核心实现使用 POSIX AWK 特性，项目说明测试了 BWK awk、mawk 和 gawk；设计上避免依赖 gawk 专属数组扩展。对于希望把一个轻量关系推理器纳入 shell 工具链、同时要求实现可以审阅的团队，这种约束反而降低了运行环境负担。
实践中可以先把它用于依赖图、任务状态推导或小型访问策略验证：将输入事实与规则分文件维护，通过多个文件组合成一个程序，用 -c 做静态检查，再以 -s 输出稳定的比较结果。需要注意，命令输出顺序默认不保证；若结果将用于测试快照或后续脚本，显式排序更稳妥。它不是通用数据库，也不应替代成熟的构建系统，但能让“关系是什么、规则如何推出结论”变得直接、可读且可执行。