Re: [PRD] Issues to resolve before publication (NAU)

Mark Proctor wrote:
> 
> I was just referring to this:
> http://www.ilog.com/products/jrules/documentation/jrules67/rsrules/rs_rul_techrule3.html
> 
> Fish(color==yellow; type==angel);

Oh, ok! That is typically where I would use a binding pattern, and I 
would rather have used a Frame than an NAU to translate that rule:

when
  {
     ?x: Fish(color==yellow; type==angel);
  }
then
  {
     retract ?x;
     insert Fish(yellow, shark);

would give (in abridged PRD XML):

<Forall>
    <declare>
       <Var> ?x </Var>
    <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).

Cheers,

Christian