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

Re: the new construct

From: Christian de Sainte Marie <csma@ilog.fr>
Date: Tue, 09 Sep 2008 16:56:25 +0200
Message-ID: <48C68E99.8080907@ilog.fr>
To: Michael Kifer <kifer@cs.sunysb.edu>
CC: RIF WG <public-rif-wg@w3.org>

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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:52 UTC