SWI-Prolog/swipl-devel
Do you want to work on this issue?
You can request for a bounty in order to promote it!
SEGV in clear_variant_table/PL_unregister_atom when an engine using tabling is resumed across threads and completes #1517
z5h posted onGitHub