[rules-users] Logical insert and cyclic rules dependences

[zephyr]

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-dependences-tp4018381p4018486.html
Sent from the Drools: User forum mailing list archive at Nabble.com.