I’m using: SWI-Prolog version 9.3.31. With Linux Cinnamon 22.1.
When I tried to resize the debugger window, it crashed.
I mean that the debugger window closed, and so did the prolog console.
It doesnt always crash when I resize it. But I have seen it crash three times now.
% your code here
How was this version built? Is that the Flatpak version? To get some idea we’ll need a stack trace. Does mint provide coredumpctl? If so, you might get the core using
coredumpctl list
If the dump is there, run
coredumpctl info <PID>
Its the Flatpack version.
Okay, I ran that. Here is what it said.
Size on Disk: 54.3M
Message: Process 500241 (swipl-win) of user 1000 dumped core.
Stack trace of thread 2:
#0 0x000077784849c51c n/a (/usr/lib/x86_64-linux-gnu/libc.so.6 + 0x9c51c)
#1 0x00007778484423be n/a (/usr/lib/x86_64-linux-gnu/libc.so.6 + 0x423be)
#2 0x00007778484298ed n/a (/usr/lib/x86_64-linux-gnu/libc.so.6 + 0x298ed)
#3 0x0000777848429856 n/a (/usr/lib/x86_64-linux-gnu/libc.so.6 + 0x29856)
#4 0x0000777847aacd28 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0xacd28)
#5 0x0000777847ba4e88 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1a4e88)
#6 0x0000777847ba5b10 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1a5b10)
#7 0x0000777847ad9417 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0xd9417)
#8 0x0000777847ad9188 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0xd9188)
#9 0x0000777847b1b78b n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11b78b)
#10 0x0000777847bd9ce2 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1d9ce2)
#11 0x0000777847bda194 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1da194)
#12 0x0000777848741bcf n/a (/app/lib/swipl/lib/x86_64-linux/libswipl.so.9.3.31 + 0xe0bcf)
#13 0x000077784876de13 n/a (/app/lib/swipl/lib/x86_64-linux/libswipl.so.9.3.31 + 0x10ce13)
#14 0x0000777847bda3ed n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1da3ed)
#15 0x0000777847b1b025 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11b025)
#16 0x0000777847b1bff8 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11bff8)
#17 0x0000777847b1cd77 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11cd77)
#18 0x0000777847bc853b n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1c853b)
#19 0x0000777847bbf948 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1bf948)
#20 0x0000777847ad9378 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0xd9378)
#21 0x0000777847b1b78b n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11b78b)
#22 0x0000777847b1bff8 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11bff8)
#23 0x0000777847b1cd77 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11cd77)
#24 0x0000777847bbd686 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1bd686)
#25 0x0000777847bbd287 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1bd287)
#26 0x0000777847b1b78b n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11b78b)
#27 0x0000777847b1bff8 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11bff8)
#28 0x0000777847b1cd77 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11cd77)
#29 0x0000777847bba0cb n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1ba0cb)
#30 0x0000777847b1b7c8 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11b7c8)
#31 0x0000777847b1bff8 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11bff8)
#32 0x0000777847b1cd77 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11cd77)
#33 0x0000777847bcfc09 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1cfc09)
#34 0x0000777847bd2a2a n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1d2a2a)
#35 0x0000777847bd3812 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1d3812)
#36 0x0000777847bd3959 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1d3959)
#37 0x0000777847b087bd n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1087bd)
mars@eee:~$
Good to know this works. Unfortunately there are no symbols. A bit of digging with ChatGPT gives something that may work:
flatpak install org.swi_prolog.swipl.Debug
Now, restart Prolog as normal and after the crash try coredumpctl again. No guarantees, this is new for me … If ok, the stack trace should give function names, files and line numbers.
I had the same issue (and other probs) with swipl on a windos11 machine, but after an update to version 9.3.30 (still my current version) the problem disappeared. 
Another Swi Console closed while I was resizing it today.
As before, it happened when I was resizing it.
I have more informtion about it this time.
Here is part of the information.
Fri 2025-10-10 12:06:52 BST 605276 0 0 SIGSEGV missing /usr/bin/timeshift -
Sat 2025-10-11 15:55:16 BST 288552 1000 1000 SIGABRT missing /app/lib/swipl/bin/x86_64-linux/swipl-win -
Sun 2025-10-12 12:06:27 BST 467819 0 0 SIGSEGV missing /usr/bin/timeshift -
Sat 2025-10-25 15:15:09 BST 2152530 1000 1000 SIGABRT present /app/lib/swipl/bin/x86_64-linux/swipl-win 41.3M
Wed 2025-10-29 11:37:10 GMT 2609 1000 1000 SIGABRT present /app/bin/cherrytree 59.5M
Thu 2025-10-30 17:46:40 GMT 1292436 1000 1000 SIGABRT present /app/lib/swipl/bin/x86_64-linux/swipl-win 4.2M
~$ coredumpctl info 1292436
PID: 1292436 (swipl-win)
UID: 1000 (martin)
GID: 1000 (martin)
Signal: 6 (ABRT)
Timestamp: Thu 2025-10-30 17:46:39 GMT (1h 2min ago)
Command Line: swipl-win
Executable: /app/lib/swipl/bin/x86_64-linux/swipl-win
Control Group: /user.slice/user-1000.slice/user@1000.service/app.slice/app-flatpak-org.swi_prolog.swipl-1292423.scope
Unit: user@1000.service
User Unit: app-flatpak-org.swi_prolog.swipl-1292423.scope
Slice: user-1000.slice
Owner UID: 1000 (martin)
Boot ID: 6e19f6f3225d43a59a5b1ba73c171fc3
Machine ID: 939972095cf1459c8b22cc608eff85da
Hostname: EliteBook
Storage: /var/lib/systemd/coredump/core.swipl-win.1000.6e19f6f3225d43a59a5b1ba73c171fc3.1292436.1761846399000000.zs>
Size on Disk: 4.2M
Message: Process 1292436 (swipl-win) of user 1000 dumped core.
Stack trace of thread 2:
#0 0x000070ee3c64051c n/a (/usr/lib/x86_64-linux-gnu/libc.so.6 + 0x9c51c)
#1 0x000070ee3c5e63be n/a (/usr/lib/x86_64-linux-gnu/libc.so.6 + 0x423be)
#2 0x000070ee3c5cd8ed n/a (/usr/lib/x86_64-linux-gnu/libc.so.6 + 0x298ed)
#3 0x000070ee3c5cd856 n/a (/usr/lib/x86_64-linux-gnu/libc.so.6 + 0x29856)
#4 0x000070ee3bcacd28 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0xacd28)
#5 0x000070ee3bda4a48 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1a4a48)
#6 0x000070ee3bda56d0 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1a56d0)
#7 0x000070ee3bcd97b7 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0xd97b7)
#8 0x000070ee3bcd9528 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0xd9528)
#9 0x000070ee3bd1b50b n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11b50b)
#10 0x000070ee3bdd9f92 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1d9f92)
#11 0x000070ee3bdda454 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1da454)
#12 0x000070ee3c88d633 n/a (/app/lib/swipl/lib/x86_64-linux/libswipl.so.9.3.33 + 0xe0633)
#13 0x000070ee3c888dd1 n/a (/app/lib/swipl/lib/x86_64-linux/libswipl.so.9.3.33 + 0xdbdd1)
#14 0x000070ee3c8b8a53 n/a (/app/lib/swipl/lib/x86_64-linux/libswipl.so.9.3.33 + 0x10ba53)
#15 0x000070ee3bdda6ad n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1da6ad)
#16 0x000070ee3bd1ada5 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11ada5)
#17 0x000070ee3bd1bd78 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11bd78)
#18 0x000070ee3bd1caf7 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11caf7)
#19 0x000070ee3bdc867b n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1c867b)
#20 0x000070ee3bdbf9a8 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1bf9a8)
#21 0x000070ee3bcd9718 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0xd9718)
#22 0x000070ee3bd1b50b n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11b50b)
#23 0x000070ee3bd1bd78 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11bd78)
#24 0x000070ee3bd1caf7 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11caf7)
#25 0x000070ee3bdbd8e7 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1bd8e7)
#26 0x000070ee3bdbd483 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1bd483)
#27 0x000070ee3bd1b50b n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11b50b)
#28 0x000070ee3bd1bd78 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11bd78)
#29 0x000070ee3bd1caf7 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11caf7)
#30 0x000070ee3bdba1bb n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1ba1bb)
#31 0x000070ee3bd1b548 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11b548)
#32 0x000070ee3bd1bd78 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11bd78)
#33 0x000070ee3bd1caf7 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x11caf7)
#34 0x000070ee3bdcfdf1 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1cfdf1)
#35 0x000070ee3bdd2c4a n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1d2c4a)
#36 0x000070ee3bdd3be3 n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1d3be3)
#37 0x000070ee3bd0841d n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x10841d)
#38 0x000070ee3bdd58cd n/a (/app/lib/swipl/lib/x86_64-linux/pl2xpce.so + 0x1d58cd)
#39 0x000070ee3c88d633 n/a (/app/lib/swipl/lib/x86_64-linux/libswipl.so.9.3.33 + 0xe0633)
#40 0x000070ee3c888dd1 n/a (/app/lib/swipl/lib/x86_64-linux/libswipl.so.9.3.33 + 0xdbdd1)
#41 0x000070ee3c8ca783 n/a (/app/lib/swipl/lib/x86_64-linux/libswipl.so.9.3.33 + 0x11d783)
#42 0x000070ee3c8ca608 n/a (/app/lib/swipl/lib/x86_64-linux/libswipl.so.9.3.33 + 0x11d608)
#43 0x000062ba03e64123 n/a (/app/lib/swipl/bin/x86_64-linux/swipl-win + 0x1123)
#44 0x000070ee3c5cf975 n/a (/usr/lib/x86_64-linux-gnu/libc.so.6 + 0x2b975)
#45 0x000070ee3c5cfa28 n/a (/usr/lib/x86_64-linux-gnu/libc.so.6 + 0x2ba28)
#46 0x000062ba03e64175 n/a (/app/lib/swipl/bin/x86_64-linux/swipl-win + 0x1175)
ELF object binary architecture: AMD x86-64
$
Unfortunately I cannot interpret this 
Did you install
?