Re: [TED] Action-188, ISSUE: production rule systems have "difficulty" with recursive rules in RIF Core

Gary Hallmark wrote:
>
> is there a general strategy to evaluate recursive positive Horn rules using forward chaining, so that every ruleset in RIF Core can be translated to production rules?

Christian de Sainte Marie wrote:
> 
> But, again, is that really relelvant to RIF?

Notice that, even if recursion may not be one of them, this sort of 
problems exist: we still have the question of whether and how datalog 
engines can conform to RIF Core, for instance...

Christian