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: Christian de Sainte Marie <csma@ilog.fr>
Date: Tue, 25 Nov 2008 18:11:55 +0100
Message-ID: <492C31DB.6040108@ilog.fr>
To: Gary Hallmark <gary.hallmark@oracle.com>
CC: Dave Reynolds <der@hplb.hpl.hp.com>, Rule Interchange Format Working Group WG <public-rif-wg@w3.org> 

Gary Hallmark wrote:

> [...]
> 
> RS3:
> ex:A(2)
> ex:A(?x) :- ex:A(?y), ?y + 1 = ?x
> 
> [...]
> RS3 is unsafe, so if PRD adopts Core safety then RS3 would not be in 
> PRD, even though it poses no problems.

Is RS3 unsafe? Is it because = is meant as pred:numeric-equal? But it poses no problem from the logic point of view either, right?

Christian
Received on Tuesday, 25 November 2008 17:19:32 GMT

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