- From: Piero A. Bonatti <bonatti@na.infn.it>
- Date: Fri, 10 Feb 2006 15:45:27 +0100
- To: <public-rif-wg@w3.org>
On Friday 10 February 2006 15:38, you wrote: > If I execute rules "declaratively" I do not take account of their > ordering. "execution" implies an underlying deterministic algorithm run on some computer. any such algorithm has to adopt some ordering (or more generally, an execution strategy) > > If I execute rules "procedurally" I test them sequentially, even if the > execution may be logically invalid from a logical perspective. This is > akin to common process execution and coding rules in a 3GL. would you please clarify the context (syntax, semantics)? usually in horn clauses all orderings yield logically valid conclusions. sticking to a particular order may only affect completeness piero
Received on Friday, 10 February 2006 14:45:23 UTC