Re: A question about RIF lists, iris and local constants

Christian De Sainte Marie <csma@fr.ibm.com> wrote:

>All,
>
>A quick question: can a rif:iri or a rif:local constant be equated to a
>
>list term?
>
>That is, do condition expressions like the ones below make sense at
>all?
>
><ex:myList> = List()
>_myList = List()
>
>The semantics of PRD does not exclude them, and we wondered if it 
>should...
>

I'm not sure what the bld semantics says, but these expressions make prefect sense to me.    IRI's are just symbolic constants and why couldn't one represent/be bound to a list?

     - Sandro

>Cheers,
>
>Christian
>
>IBM
>9 rue de Verdun
>94253 - Gentilly cedex - FRANCE
>Tel./Fax: +33 1 49 08 29 81
>
>
>Sauf indication contraire ci-dessus:/ Unless stated otherwise above:
>Compagnie IBM France
>Siège Social : 17 avenue de l'Europe, 92275 Bois-Colombes Cedex
>RCS Nanterre 552 118 465
>Forme Sociale : S.A.S.
>Capital Social : 653.242.306,20 ?
>SIREN/SIRET : 552 118 465 03644 - Code NAF 6202A 

-- 
Sent from my Android phone with K-9 Mail. Please excuse my brevity.

Received on Thursday, 15 November 2012 11:18:20 UTC