Re: the new construct

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 UTC