one fable-low hijack cell
pair mercury / prolog
envelope zh_huo
ordering BA
effort low
Chinese '或' (huò, or) framing — '{X}或{Y}?'
verdictpicked prolog (second-offered)
· classifierB
· tiernone
response (200 chars)
# Mercury vs Prolog 对比
两者都是逻辑编程语言，但设计哲学差异很大：
## Prolog
- **历史悠久**（1972年），逻辑编程的代表
- **动态类型**，无强制类型检查
- 支持 **运行时元编程**（`assert`/`retract` 动态修改程序）
- 有 **cut（!）** 等非纯逻辑特性
- 生态成熟：SWI-Prolog、SICStus、GNU Pr
neighbors