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 17:20:56 +0200
Message-ID: <48C69458.9060708@ilog.fr>
To: kifer@cs.sunysb.edu
CC: RIF WG <public-rif-wg@w3.org>

Michael Kifer wrote:

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

Oh, sorry. I did not get that. Yes, of course, there is nothing like a newly created frame in BLD.

Which is also why using an existential quantifier (under one form or another) to represent object creation in PRD is probably a bad idea...

Cheers,

Christian

Received on Tuesday, 9 September 2008 15:22:06 GMT

This message: [ Message body ]
Next message: Michael Kifer: "Re: BLD vs PRD (was: Re: [RIF-APS] Rules Sign)"
Previous message: Michael Kifer: "Re: the new construct"
In reply to: Michael Kifer: "Re: the new construct"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]
Help: [ How to use the archives ] [ Search in the archives ]

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