I haven't checked, but I think that the logical insertion failure is a bug..
if the logical insertion truth maintenance is based on reference counting,
and no cycle detection algorithm is applied, this is definitely a missing
feature - and a bad one! You might consider opening a JIRA and let the
developers discuss it
whether it's really an intended/expected behavior or not.
This said, your project seems very interesting! Are you trying to implement
a well known logical framework, or is this something new you've been
defining? Do you have any research paper that describes it?
Davide
--
View this message in context:
http://drools.46999.n3.nabble.com/Logical-insert-and-cyclic-rules-depende...
Sent from the Drools: User forum mailing list archive at
Nabble.com.