Re: [PRD] Another schema problem

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

Received on Monday, 6 July 2009 10:27:35 UTC