Search code examples
prologsicstus-prolog

unexpected error "! segmentation violation"

Recently , when I try to compile my project , sometimes an unexpected error has appeared ,

error :

% Execution aborted
% source_info
| ?- 
! segmentation violation

Is there an explanation for what happens!

Solution

  • This looks like a bug in SICStus Prolog (unless your Prolog code loads your own C code). Reinstalling will most likely not help.

    Please send all relevant information (exact SICStus version and OS version) and preferably a way to reproduce the problem, to the SICStus support email address. Also, try it in the latest version, i.e. 4.3.2.

    A reproducer that works without using SPIDER would be easiest for us to work with.

    (I am one of the SICStus developers)