- From: Christian de Sainte Marie <csma@ilog.fr>
- Date: Tue, 24 Jun 2008 16:39:31 +0200
- 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 UTC