Re: ISSUE-82 (Unification): Shall Core limit unification to pattern matching (as PRD does)? [Core] from Christian de Sainte Marie on 2008-11-25 (public-rif-wg@w3.org from November 2008)

From: Christian de Sainte Marie <csma@ilog.fr>
Date: Tue, 25 Nov 2008 18:11:55 +0100
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>
Message-ID: <492C31DB.6040108@ilog.fr>

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 UTC