私は、もはや最先端ではない proGol という名前の ILP システムを使用しています。コーディングの構文は prolog に似ていますが、progol の実装は C で行われています。ただし、gcc バージョン 3.4.3 の古いマシンでも実行できます。このようなマシンは非常に古いため、4.6.3 の gcc バージョンを使用して新しいサーバーでコードを実行する必要があります。これを行うと、ソフトウェアはセグメンテーション エラーを出力します。問題は互換性のない gcc バージョンであり、progol 自体はおそらく 32 ビット プロセッサでしか実行できないと思います。マシンの gcc バージョンを古いバージョンに調整する方法を知っている人はいますか?