one fable-low hijack cell
pair mercury / prolog
envelope ja_ka
ordering BA
effort low
Japanese 'か' (ka) particle framing — '{X}か{Y}か?'
verdictpicked prolog (second-offered)
· classifierB
· tiernone
response (200 chars)
## Mercury vs Prolog の比較
どちらも論理プログラミング言語ですが、性格がかなり違います。
### Prolog
- **動的・柔軟**: 型なし、実行時に何でもできる
- **本物の論理プログラミング**: バックトラック、ユニフィケーションを自由に活用
- **メタプログラミング**が強力(`assert/retract`、項をコードとして扱える)
- 処理系が豊富(S
neighbors