Re: [PRD] Another schema problem

No. Compare BLD's And-then.type. This needs to be copied an modified
for PRD. The modifications include making the syntax restriction that
the And in a Then can contain only Atoms and Frames.

On Mon, Jul 6, 2009 at 3:26 AM, Christian De Sainte
Marie<csma@fr.ibm.com> wrote:
>
> Gary Hallmark wrote on 03/07/2009 00:52:53:
>>
>> This one I did not fix:
>> It seems that the then-part of a rule can have an unrestricted
>> And(...).  E.g.
>>
>> If ... Then And(_P(?x) Or(?x = 1 ?x = 2))
>
> Isn't that because the restriction to atoms and frames in the conclusion is
> a semantic, not a syntactic one?
>
> Christian
>
> ILOG, an IBM Company
> 9 rue de Verdun
> 94253 - Gentilly cedex - FRANCE
> Tel. +33 1 49 08 35 00
> Fax +33 1 49 08 35 10
>
>
> Sauf indication contraire ci-dessus:/ Unless stated otherwise above:
> Compagnie IBM France
> Siège Social : Tour Descartes, 2, avenue Gambetta, La Défense 5, 92400
> Courbevoie
> RCS Nanterre 552 118 465
> Forme Sociale : S.A.S.
> Capital Social : 609.751.783,30 €
> SIREN/SIRET : 552 118 465 02430
>
>



-- 
Cheers,

Gary Hallmark