[SCL] Headers and bodies

[Bill Andersen]

Good evening, John...

On Nov 29, 2003, at 0738, John F. Sowa wrote:

> What you are asking for is the definition of the concrete
> syntax for KIF in terms of the SCL core.  KIF is where you will
> find the operators => and <= you are wishing for.

You're right.  Sorry about that.  All I have to do is to map KIF
(=> A B) and (<= B A) to Cond(A,B) in CL.  Boy, do I feel stupid.

> Question:  I am now writing the syntax rules for CGIF in terms
> of the SCL core.  Who is writing the rules for KIF?  We will
> need at least KIF and CGIF syntax rules in the Dec 12 spec.

I'd be happy to take a shot at it but I have far too much to do
between now and then for work.

Do you have a grammar for CGIF?  I have written some Java classes
that represent the abstract syntax structures.  What I want to do
is put that out to the public.  I'm working on the KIF parser now
and wouldn't mind getting a CGIF (that's the linearized text form,
right?) parser running.

What do you think about putting such CL tools out on sourceforge
or something and linking that project to the CL site?  Hackers who
might not be interested in CL as an abstract standards activity may
find interest if they have code to play with.  That's one of the
reasons they like the semantic web stuff so much - there's code to
play with.

   .bill