Re: the new construct

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...



Received on Tuesday, 9 September 2008 14:57:17 UTC