[SCL] SCL spec

[Chris Menzel]

On Tue, May 13, 2003 at 12:08:48AM +0100, Murray Altheim wrote:
> Chris Menzel wrote:
> >I've put an SCL spec on the web: http://cl.tamu.edu/docs/scl.html .
> >It is not highly polished, but it will do as a start to get ideas fixed.
> >
> >Features (all negotiable):
> [...]
> 
> Thanks Chris -- this looks interesting and digestable.
> 
> I have a rather "meta" comment about the CL and SCL specs that I'd
> like to propose early on that might assist everyone in discussing
> the drafts, as well as implementors in demonstrating compliance with
> a specification. There are four aspects to this:
> 
> 1. First, if all published drafts were to include version and or
>   revision numbers, when somebody is either making a comment or
>   reading someone else's on the mailing archives, it would be
>   apparent which document they were talking about. This may help
>   avoid people talking past each other, or accidentally about
>   different versions of the text.

Speaking of which, I've alreday put up a revised version.  I found a
number of vestiges of the base document I started with lurking about
(e.g., a reference to predicates).  Also, the grammar was requiring a
sequence variable to occur in tail position in all function terms and
atomic formulas, when of course all that is intended is that they so
occur IF they occur at all; their presence is optional.  I have also
strengthened the semantics so that relations are a subset of the set of
individuals.  The logic is too wonky otherwise.

-chris