<span style='font-family:Verdana'><span style='font-size:12px'>Hi!<br /> 
<br /> 
<span style="font-family:Verdana"><span style="font-size:12px"><span style="font-family: verdana;"><span style="font-size: 12px;">I am investigating the opportunities to write my school work about theory of production rules system or about Drools specifically, but I am more interested in the formal methods of the rule programs and not in the ongoing trends of Drools research which is more about case by case technical improvements or application of Drools in some new area.<br /> 
<br /> 
So - my question is elaborated in other forum, maybe it is not too misappropriate to continue this discussion in both forums at the same time:</span></span><br /> 
<br /> 
http://stackoverflow.com/questions/10456241/logic-programming-with-integer-or-even-floating-point-domains<br /> 
<br /> 
http://cstheory.stackexchange.com/questions/11331/logic-programming-with-integer-or-even-floating-point-domains<br /> 
<br /> 
TomR</span></span></span></span>