RE: [rohc] Role and approach of the ROHC formal notation

["Lars-Erik Jonsson (EAB)" <Lars-Erik.Jonsson@epl.ericsson.se>]

At this point, I think it is important not to consider such "solution
details", but first figure out what we are really trying to achieve
here.

/L-E


> Hi,
> 
> A minor point - I think that this conflicts with the definition of a
> "rule" as used in Prolog.  Our "encoding methods" are a subset of
> "Prolog rules" - every encoding method can be represented as a Prolog
> rule, but there are plenty of Prolog rules that don't define encoding
> methods.
> 
> Regards,
> 
> Richard
_______________________________________________
Rohc mailing list
Rohc@ietf.org
https://www1.ietf.org/mailman/listinfo/rohc