[Scl] Re: Report on Common Logic

[Chris Menzel]

On Tue, Oct 28, 2003 at 12:52:55PM -0500, Bill Andersen wrote:
> Hi, John...
> 
> Yup - it's me.  I'm back, finally.

Great talking to you yesterday, Bill.  Glad you are back with us in one
piece.

> > My greatest fear is that Seqvars will be more of a turn-off
> > than a selling point for some of our most important customers.
> > If we are going to simplify SCL to get something out quickly,
> > I would rather drop Seqvars than anything else.
> 
> To whom are they a turn-off?  They're pretty darned useful for us here at
> Ontology Works, and we're concerned with building practical stuff.

Pat also heard from some folks -- in England? -- who are working on
an implementation of resolution involving seqvars.

The trick is not to clobber seqvars but to clearly indicate that they
are an *optional* feature of the framework.  Most people are smart
enough not to be turned off by features they can easily ignore for their
own purposes.  We are striving for both power *and* flexibility.

-chris