一番高速にprolog動かせるのって
どの処理系なの?