- From: Christian de Sainte Marie <csma@ilog.fr>
- Date: Thu, 14 Jun 2007 09:38:24 +0200
- To: Christian de Sainte Marie <csma@ilog.fr>
- CC: Gary Hallmark <gary.hallmark@oracle.com>, RIF WG <public-rif-wg@w3.org>
Christian de Sainte Marie wrote: > Gary Hallmark wrote: > >> I like the ability to have ground facts not wrapped in a forall. >> I don't like the ability to have free variables (not scoped in a forall) > > This is specifically excluded in the deifinition I propose. For the avoidance of misunderstanding: free variables could be specifically excluded exactly the same way in the current definition, of course. This is not a difference between my proposal and the current definition. I could not find a way to void ground fact eing wrapped in a forall with the current definition, though. Christian
Received on Thursday, 14 June 2007 07:38:49 UTC