[SCL] Re: Getting a move on

[John F. Sowa]

Pat,

I agree with you that we should get a CL-like standard going
at a much faster pace than the work has been progressing so far.

 > The ISO CL standardization initiative is proceeding, and we can
 > suppose that it will continue; but it is far too slow for the many
 > other potential applications which are clamoring for a useful
 > standard logic formalization, including...

That is true, but I must point out that ISO has been waiting for
us -- they have not done anything to slow us down.  We have made
good progress at our (very rare) meetings of the CL group, but
they have been few and far between.

The major obstacle is that all of us have "day jobs" that aren't
paying us for the cost of attending standards meetings and working
on drafts of what we have agreed to do at those meetings.

Right now, we have a group (ISO SC32/WG2 and the INCITS L8 committee,
which is the US TAG) that is favorably disposed to support the CL
standard as soon as we get a suitable draft.  It is up to us to write
that draft.  If we can broaden the base of people who are working on
and with and for the CL or CL-like standard, that would be highly
desirable.  But the best help would a few good people who have a good
understanding of logic and its applications together with some other
people who are able to find some monetary support for the development.
What would be especially useful is some travel money to get the
developers together more often.

John