Re: [rules-users] Does generated graph rules is build to respect a disjunctive normal form ?

2014-06-02 Thread Mark Proctor
On 2 Jun 2014, at 14:58, Mercier Jonathan wrote: > Thanks Mark simple and clear :-) > > Did you you have somewhere a roadmap ? > to know: >- when nearly 6.0.2 will come 6.1 CR should be out this week >- when concurrent approach wil be add Our new algorithm has been designed for paralle

Re: [rules-users] Does generated graph rules is build to respect a disjunctive normal form ?

2014-06-02 Thread Mercier Jonathan
Le 02/06/2014 15:43, Mark Proctor a écrit : > I thought clips did do disjunction normal form? in that all ‘or’s are removed > from the body of the tree and moved to the root, thus rewriting the logic > into separate rules? This docs shows an ‘or’ rule is the equivalent of > disjunction normal fo

Re: [rules-users] Does generated graph rules is build to respect a disjunctive normal form ?

2014-06-02 Thread Mark Proctor
I thought clips did do disjunction normal form? in that all ‘or’s are removed from the body of the tree and moved to the root, thus rewriting the logic into separate rules? This docs shows an ‘or’ rule is the equivalent of disjunction normal form: http://www.csie.ntu.edu.tw/~sylee/courses/clips/

[rules-users] Does generated graph rules is build to respect a disjunctive normal form ?

2014-06-02 Thread Mercier Jonathan
Hi, We use Drools at this time to explore some possibilities. We have an old system, clips based and with clips rules need to be wrote to a disjunctive normal form because they are no internal processing to transform user rule to a disjunctive normal form. As Drools generate a graph (Phreak) i