one fable-low hijack cell
pair datalog / prolog
envelope zh_huo
ordering AB
effort low
Chinese '或' (huò, or) framing — '{X}或{Y}?'
verdictpicked prolog (second-offered)
· classifierB
· tiernone
response (200 chars)
# Prolog 与 Datalog 简介
## Prolog
**Prolog**(Programming in Logic)是一种逻辑编程语言,诞生于 1972 年,广泛用于人工智能、自然语言处理和专家系统。
### 基本概念
```prolog
% 事实 (Facts)
parent(tom, bob).
parent(bob, ann).
parent(bob, pat).
%
neighbors