- From: Gary Hallmark <gary.hallmark@oracle.com>
- Date: Thu, 14 Jun 2007 10:07:55 -0700
- To: 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. Well, it's not excluded in the syntax. I'd rather have syntactic enforcement rather than "footnote enforcement" (where possible using a context-free grammar). I proposed a syntax that clearly forces wrapping variables in a forall AND clearly avoids having to wrap ground facts in a forall. -- Oracle <http://www.oracle.com> Gary Hallmark | Architect | +1.503.525.8043 Oracle Server Technologies 1211 SW 5th Avenue, Suite 800 Portland, OR 97204
Received on Thursday, 14 June 2007 17:08:36 UTC