one fable-low hijack cell

response (200 chars)

# Datalog vs Mercury

这两者其实定位差异很大,选择取决于你的需求：

## Datalog

**定位**：声明式查询语言，Prolog 的子集

**优点**：
- 保证终止（无函数符号、有限域）
- 非常适合**递归查询**：图可达性、程序分析、权限推理
- 自底向上求值，易于优化和增量计算
- 实现众多：Soufflé、Datomic、Logica、各类嵌入式实现

*

neighbors