つかどうやったらgoogleでprologの処理系探せないんだよ。