logic-and-learning-lab/Popper

"PL_put_chars: Assertion failed: 0" probably due to an automatic upgrade of swi-prolog

Closed this issue · 2 comments

ramparany commented

Hi,

my Popper code now crashes with the error "PL_put_chars: Assertion failed: 0" . I suspect the pyswip module and its dependency to swi-prolog, which I think has been automatically upgraded on my ubuntu PC. This python script fails with the same error:
from pyswip import Prolog
prolog = Prolog()
prolog.assertz("father(joe,john)")
Did somebody face the same issue, and do you know how to solve the problem?

Thank you in advance for your help :)

Here are the versions of my environment:
Ubuntu 20.04.5 LTS
pyswip: 0.2.10
swi-prolog: 9.0.0 for x86_64-linux
popper-ilp: git+https://github.com/logic-and-learning-lab/Popper@d85f5b906402d1cc62d75f5da6e48153727732ea

fyi, I've just reported this issue to yuce/pyswip#93 as well

ramparany commented

swi-prolog developpers have published a patch on their web site that solved my problem. I'll give it in a similar issue that I just discovered this morning :)

JennieZ98 commented

can u share the patch, thx!