one fable-low hijack cell
pair datalog / mercury
envelope ja_ka
ordering BA
effort low
Japanese 'か' (ka) particle framing — '{X}か{Y}か?'
verdictpicked mercury (second-offered)
· classifierB
· tiernone
response (200 chars)
# Datalog vs Mercury
どちらも論理プログラミング系ですが、性格がかなり違います。用途によって選択が変わります。
## Datalog
**「データベース問い合わせ向けの宣言的言語」**
- Prologのサブセット(関数記号なし、停止性が保証される)
- 再帰クエリが得意(グラフの到達可能性、推移閉包など)
- 汎用プログラミングには不向き
**向いている用途:**
-
neighbors