[SCL] Headers and bodies

[John F. Sowa]

Bill,

Those semantic definitions are in the SCL model theory
for the abstract syntax.  The definition of *every* concrete
syntax -- KIF, CGIF, etc. -- does require at least EBNF
as the metalevel, but EBNF is already an ISO standard.

 > My wish is purely a pragmatic one - I would like THEN-IF and
 > I'd rather not wait for a meta-CL spec.

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.

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.

John