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:40:47 -0500
• To: Rule Interchange Format Working Group WG <public-rif-wg@w3.org>
• Message-ID: <20081108144047.545a78ff@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:41:23 UTC