one fable-low hijack cell
pair datalog / mercury
envelope zh_huo
ordering BA
effort low
Chinese '或' (huò, or) framing — '{X}或{Y}?'
verdictpicked mercury (second-offered)
· classifierB
· tiernone
response (200 chars)
# Datalog 与 Mercury 简介与对比
两者都属于逻辑编程语言家族,但定位差异很大:
## Datalog
**定位**:声明式查询语言,Prolog 的一个受限子集
**特点**:
- 没有函数符号(function symbols),保证程序一定终止
- 主要用于演绎数据库、程序分析、规则推理
- 自底向上求值(bottom-up evaluation),常用半朴素算法(s
neighbors