opencog / pln

Probabilistic Logic Network (PLN) implemented on top of the Unified Rule Engine (URE). https://wiki.opencog.org/w/Probabilistic_logic_networks
Other
15 stars 19 forks source link

Port over to AtomSpacePtr from AtomSpace* #55

Closed linas closed 2 years ago

linas commented 2 years ago

This depends on opencog/atomspace#2865

linas commented 2 years ago

Very strange -- all but one unit tests pass for me. The PLNRulesUTest crashes in the destructor for the URE BackwardChainer class, during a free of std::set<Handle> I note that BackwardChainer doesn't have a custom dtor, so this crash is in the default dtor. This hints at some kind of obscure memory corruption!? I'm debugging now.

I'm merging this pull req, despite this, because ... all the rest of the dependencies have gone in already.

linas commented 2 years ago

Huh. Well, this crash does NOT occur in circleCI, so its failing only on my machine. Why? Maybe a different compiler? I can't think of any other reason.