[PRD] ACTION-825 complete

********* NOTICE **********
My new email address at IBM is: csma@fr.ibm.com
My ILOG email address will not be forwarded after June 8

I have added, in subsection "Production rule interchange", in the 
Overview, a paragraph stating that
"The semantics of condition formulas and the semantics of rules and rule 
sets make no assumption regarding how condition formulas are evaluated. In 
particular, they do not require that condition formula be evaluated using 
pattern matching. However, RIF-PRD conformance, as defined in the section 
Conformance and interoperability, requires only support for safe rules, 
that is, forward-chaining rules where the conditions can be evaluated 
based on pattern matching only."

I have also added language to the same effect in introduction of section 
2.2 (Operation semantics of condition formulas), and just before section 
4.2 (Operational semantics of rules and rule sets).

This completes ACTION-825.



ILOG, an IBM Company
9 rue de Verdun
94253 - Gentilly cedex - FRANCE
Tel. +33 1 49 08 35 00
Fax +33 1 49 08 35 10

Sauf indication contraire ci-dessus:/ Unless stated otherwise above:
Compagnie IBM France
Siège Social : Tour Descartes, 2, avenue Gambetta, La Défense 5, 92400 
RCS Nanterre 552 118 465
Forme Sociale : S.A.S.
Capital Social : 609.751.783,30 ?
SIREN/SIRET : 552 118 465 02430

Received on Monday, 1 June 2009 19:07:57 UTC