**极简 Datalog 解释器 AWKLog：用纯 AWK 实现递归查询与分层否定**

_Show HN: AWKLog – a minimalist Datalog interpreter in Awk_

> AWKLog 是一个极简的半朴素 Datalog 解释器，完全由 AWK 编写且无外部依赖。它支持事实、规则、递归查询及分层否定，旨在作为构建系统或代码生成工具的轻量级组件。该工具兼容 POSIX sh 及主流 AWK 实现（如 gawk、mawk），无需编译即可运行，并提供了多种输出格式与诊断选项。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-products
- **发布时间**：2026-11-02 12:25（北京时间）
- **原文**：[打开原文](https://github.com/stass/awklog)