Two issues with RIF-Core

1. PRD prohibits member (#) in rule heads. Core allows it. I think
Core must follow PRD here.

2. PRD and Core allow frame properties to be TERMs, i.e. Frame ::=
TERM '[' (TERM '->' TERM)* ']'

This is likely to be a problem for most production rule engines. It
would be much easier if Frame ::= TERM '[' (Const'->' TERM)* ']'

-- 
Cheers,

Gary Hallmark

Received on Thursday, 7 May 2009 23:37:32 UTC