>>47
Prologの強力な推論機能には勝てまい。
よってProlog最強。