********* NOTICE ********** My new email address at IBM is: csma@fr.ibm.com My ILOG email address will not be forwarded after June 8 ***************************** Jos De Bruijn wrote on 28/04/2009 14:27:06: > > <snip/> > > [...] > > I could not think of a good example in BLD, but consider an extension of > BLD with existentials in the head. You could write: > > Exists ?x (ex:p(List(ex:a | ?x))) > > > This does not entail: > > Exists ?y (And(ex:p(List(ex:a | ?y)) is-list(?y))) What if we removed malformed lists from RIF? 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 Tuesday, 28 April 2009 14:19:08 UTC