- From: Gary Hallmark <gary.hallmark@oracle.com>
- Date: Mon, 16 Nov 2009 16:36:06 -0800
- To: RIF WG <public-rif-wg@w3.org>
- CC: neal Wyse <neal.wyse@oracle.com>
I've discovered that refraction in OBR and Jess do not conform to the PRD spec. In particular, the http://www.w3.org/2005/rules/wiki/Modify_noloop test case will always loop. The issue is that the PRD spec includes only the Forall variables in the rule instance, but my system(s) also includes the Exists variables in the rule instance. What do the other PR systems do? Can you please try the Modify_noloop test?
Received on Tuesday, 17 November 2009 00:39:47 UTC