W3C home > Mailing lists > Public > public-rif-wg@w3.org > November 2008

Re: ISSUE-82 (Unification): Shall Core limit unification to pattern matching (as PRD does)? [Core]

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Sat, 8 Nov 2008 14:38:54 -0500
To: Rule Interchange Format Working Group WG <public-rif-wg@w3.org>
Message-ID: <20081108143854.1f26b3da@kiferserv>



> ISSUE-82 (Unification): Shall Core limit unification to pattern matching (as PRD does)? [Core]
> 
> http://www.w3.org/2005/rules/wg/track/issues/82
> 
> Raised by: Christian de Sainte Marie
> On product: Core
> 
> If Core allows full unification, PRD does not extend Core...

Core does not specify any proof theory. Does not even mention unification.
So, the above remark makes no sense.

Perhaps you wanted to say that you have a concern that there is a problem
reconciling the procedural semantics of PRD with the model-theoretic semantics
of Core?  That might be the case, although the above statement has only a
remote connection to the actual issue.

michael
 
Received on Saturday, 8 November 2008 19:39:31 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:58 GMT