Re: [RIF] homework for 10/17 telecon

Gerd:
  Looking at the example XML encoding, I would predict that you would  
have some trouble representing generic or polymorphically typed  
entities.
  Can you show how you would encode:

  concat:[list[t],list[t]]=>list[t].
  concat([],L)=>L.
  concat([E,..L],M)=>[E,..concat(L,M)].

(This is a function, but cold easily be expressed using predications.)
Frank


On Oct 17, 2006, at 6:20 AM, Gerd Wagner wrote:

>> We expect to plan the bulk of the next telecon discussing the  
>> technical
>> proposal [http://www.w3.org/2005/rules/wg/wiki/CORE], especially the
>> syntax.
>
> Here is a proposal how to extend it in order to accommodate typing.
>
> -Gerd
> <REWERSE RIF Condition Language Extension Proposal.html>

Received on Tuesday, 17 October 2006 14:06:46 UTC