- From: Christian de Sainte Marie <csma@ilog.fr>
- Date: Tue, 01 Jul 2008 16:00:51 +0200
- To: Christian de Sainte Marie <csma@ilog.fr>
- CC: Mark Proctor <mproctor@redhat.com>, Gary Hallmark <gary.hallmark@oracle.com>, RIF WG <public-rif-wg@w3.org>
It might be clearer if it is correct :-)
Christian de Sainte Marie wrote:
>
> <Forall>
> <declare>
> <Var> ?x </Var>
</declare>
> <pattern> ?x#Fish and ?x[color->yellow; type->angel] </pattern>
> <formula>
> <Implies>
> <then> (if-part empty and, thus, omitted)
> <Retract> ?x </Retract>
> (we did not decide the syntax for deleting an object yet, but it could
> be to retract the variable that is bound to it)
> <Assert>...
> (same: we did not decide on the syntax for creating an object yet).
Christian
Received on Tuesday, 1 July 2008 14:06:51 UTC