one fable-low hijack cell
pair datalog / prolog
envelope zh_huo
ordering BA
effort low
Chinese '或' (huò, or) framing — '{X}或{Y}?'
verdictpicked prolog (second-offered)
· classifierB
· tiernone
response (200 chars)
# Datalog 与 Prolog 简介
## Prolog
**Prolog**(Programming in Logic)是一种通用逻辑编程语言,诞生于1972年。
### 基本语法
```prolog
% 事实 (Facts)
parent(tom, bob).
parent(bob, ann).
parent(bob, pat).
% 规则 (Rules)
grandparen
neighbors