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

Re: the new construct

From: Michael Kifer <kifer@cs.sunysb.edu>
Date: Tue, 9 Sep 2008 11:10:12 -0400
To: Christian de Sainte Marie <csma@ilog.fr>
Cc: RIF WG <public-rif-wg@w3.org>
Message-ID: <20080909111012.5ac0858b@kiferserv>

I was referring to the idea to use the special builtin that was proposed
for BLD.

michael

On Tue, 09 Sep 2008 16:56:25 +0200
Christian de Sainte Marie <csma@ilog.fr> wrote:

> 
> Michael Kifer wrote:
> > 
> >  Christian, pls remember that there is no such a thing as a "newly created
> >  frame". Nothing is really created. It is a crude approximation of object
> >  creation.
> 
> It is certainly true in FLD and BLD, if you say so. But it is certainly true that we need newly created objects in PRD.
> 
> And since we abuse the "Frame" construct in PRD to represent objects, I guess that PRD will allow the represnetation of "newly created Frames", where the frames are not anymore frames in the F-logic or BLD sense, but PRD Frames.
> 
> I mean, since BLD does not have the "New" construct, what should stop us from giving it precisely the semantics we need in PRD (that is, a procedural one, as opposed to a logical one)?
> 
> Just asking the question, in the current discussion re how PRD and BLD relate to each other...
> 
> Cheers,
> 
> Christian
>  
> 
> 
> 
> 
Received on Tuesday, 9 September 2008 15:10:51 GMT

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