prolog - 予期しないエラー「! セグメンテーション違反」

Question

最近、プロジェクトをコンパイルしようとすると、予期しないエラーが表示されることがあります。

エラー ：

% Execution aborted
% source_info
| ?- 
! segmentation violation

何が起こるかについての説明はありますか！

Answer 1

これは SICStus Prolog のバグのようです (Prolog コードが独自の C コードをロードしない限り)。ほとんどの場合、再インストールは役に立ちません。

すべての関連情報 (正確な SICStus のバージョンと OS のバージョン) と、できれば問題を再現する方法を、SICStus サポートの電子メール アドレスに送信してください。また、最新バージョン、つまり 4.3.2 で試してください。

SPIDER を使用せずに機能するリプリケータは、私たちが使用するのが最も簡単です。

(私は SICStus 開発者の 1 人です)