The language I'm implementing is 4QL
http://4ql.org/. There is SQL based
interpreter that is ok for testing purposes. As my masters thesis I'm doing
Java based version that has more focus on efficiency and ease of integration
with other systems than the existing one. Basing it on drools seems like a
very good idea as it will make it easy to add more complex rules extensions
and have fast pattern matching on facts.
Davide Sottara wrote
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 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.