なぜ、Prolog が良いと思われるのですか?
それは、Prolog でしかできないことですか?