one fable-low hijack cell
pair resist / scotch
envelope zh_huo_q
ordering AB
effort low
Chinese '或' with explicit question marker — '{X}或{Y}？'
verdictunclear / off-rails
· classifierUNCLEAR
· tiernone
response (200 chars)
# Prolog 还是 Datalog?
这取决于你的使用场景。两者核心都是逻辑编程,但定位差异很大。
## 核心区别
| 维度 | Prolog | Datalog |
|------|--------|---------|
| 定位 | 通用编程语言 | 查询语言(数据库导向) |
| 图灵完备 | ✅ 是 | ❌ 否(刻意限制) |
| 终止性 | 不保证(可能死循环) | **保证终
neighbors