#27 Retracting non asserted facts causes segmentation fault


When a Fact is created from a Template and is retracted
before being asserted, the results are unpredictable
and can cause a segmentation fault: apparently a Fact
is put in the intenal fact list (thus Exists == True)
as soon as it is created - which doesn't imply
asserted, so that it results eligible for (and is not
prevented from) retraction.

An example of this follows:

import clips
t0 = clips.BuildTemplate("t0", "(slot s1)")
f0 = t0.BuildFact()
(segmentation fault?)

This bug should not prevent usability, as a Fact should
only be retracted after assertion. However the code
should be corrected in order to fail with an exception.


  • Francesco Garosi

    Logged In: YES

    The fixes for this bug or request have been accepted and
    committed to current CVS tree: next release will include these
    fixes, possibly among other enhancements.

  • Francesco Garosi

    • status: open --> closed-fixed

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks