Re: [RIF]: "Semantics" vs. "No Semantics"

Gerd Wagner wrote:
>> You are right. Probably, Production Rules and Reactive Rules 
>> can only be given a ssemantics in procedural terms.
>>     
>
> Yes, except for their condition (and optional postcondition) 
> part, for which (a suitable fragment of) the proposed
> condition language with a declarative semantics applies.
>
> -Gerd
>
>   
Agreed!

FRancois

Received on Monday, 8 May 2006 09:40:51 UTC