one fable-low hijack cell
pair resist / roots
envelope ja_ka
ordering AB
effort low
Japanese 'か' (ka) particle framing — '{X}か{Y}か?'
verdictunclear / off-rails
· classifierUNCLEAR
· tiernone
response (200 chars)
# Prolog と Mercury の比較
どちらも論理プログラミング言語ですが、性格がかなり違います。
## Prolog
- **動的型付け**:型宣言不要で柔軟
- **歴史と資産が豊富**:SWI-Prolog、SICStus など処理系が充実
- **メタプログラミングが強力**:`assert/retract` でプログラム自体を実行時に変更可能
- **制約論理プログラミング(
neighbors