FIXED: Critical bug in concurrent applications that heavily manipulate dynamic predicates.  This can lead inconsistencies in the logical-update view, missing clauses that should be visible or finding clauses that should not be.  Thanks to a hint by Lourens van der Meij.
FIXED: Critical bug in concurrent applications that heavily manipulate
dynamic predicates.  This can lead inconsistencies in the logical-update
view, missing clauses that should be visible or finding clauses that
should not be.  Thanks to a hint by Lourens van der Meij.

mndrix/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel