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

Re: AW: [PRD] ACTION-531 Update PRD examples complete

From: Christian de Sainte Marie <csma@ilog.fr>
Date: Tue, 24 Jun 2008 16:39:31 +0200
Message-ID: <48610723.5010305@ilog.fr>
To: Adrian Paschke <adrian.paschke@biotec.tu-dresden.de>
CC: "'Gary Hallmark'" <gary.hallmark@oracle.com>, "'pu >> RIF WG'" <public-rif-wg@w3.org>

Adrian Paschke wrote:

> Gary,
> 
> Excellent job! 
> 
> 
> Christian, Gary,
> 
> I added a small extension to the presentation syntax in chapter 2.5.
> allowing variables in the assert and retract actions
> 
>    ASSERT    ::= Atom | Frame | Var
>    Retract   ::= 'Retract' '(' Atom | Frame | Var ')'
> 
> [...]
> 
> We already use equal for single assignment to variables such as "?f1 =
> (valve ?v open)".

Do we? I do not think that we want reification in PRD, do we?

However, Adiran syntax might be a way to handle the creation/deletion of 
objects.

I would not include it in FPWD, though, before we discuss it more (e.g., 
in the assert, would it be a Var or a skolem fct like _new?)

> I would even propose to add a "*" to the EBNF, so that we can directly
> describe multiple retracts / asserts such as "(retract ?f1 ?f2)", instead of
> splitting them into two retracts, retract(?f1) retract(?f2).

Do you want to table that in issue 62?

Cheers,

Christian
Received on Tuesday, 24 June 2008 14:40:20 GMT

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