one fable-low hijack cell
pair datalog / prolog
envelope zh_huo_q
ordering BA
effort low
Chinese '或' with explicit question marker — '{X}或{Y}？'
verdictpicked prolog (second-offered)
· classifierB
· tiernone
response (200 chars)
# Datalog 还是 Prolog？
这取决于你的使用场景，两者各有定位：
## 核心区别
| 维度 | Datalog | Prolog |
|------|---------|--------|
| 定位 | 查询语言/数据库 | 通用编程语言 |
| 图灵完备 | ❌ 否 | ✅ 是 |
| 保证终止 | ✅ 是 | ❌ 否 |
| 函数符号/复杂项 | 不支持 | 支持 |
|
neighbors