論文とか書く人ってどのProlog処理系使ってるのだろうか…