Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
最近在编译我的项目时,有时会出现意想不到的错误,
错误 :
% Execution aborted % source_info | ?- ! segmentation violation
有没有解释发生了什么!
这看起来像是 SICStus Prolog 中的一个错误(除非您的 Prolog 代码加载您自己的 C 代码)。重新安装很可能无济于事。
请将所有相关信息(确切的 SICStus 版本和操作系统版本)以及重现问题的方法发送到 SICStus 支持电子邮件地址。另外,请在最新版本中试用,即 4.3.2。
一个不使用 SPIDER 的复制器对我们来说是最容易使用的。
(我是 SICStus 的开发者之一)