I have created a bug on swi-prolog as it is the generated executable that generates core dumps.
Ref: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=680116 -- gpg key id: 4096R/326D8438 (keyring.debian.org) Key fingerprint = 5FB4 6F83 D3B9 5204 6335 D26D 78DC 68DB 326D 8438
