[SCL] Re: [CL] editing questions on CL std

[Pat Hayes]

>  >
>>  We really need a convenient name for this dialect, since it is
>>  likely to become a useful language in its own right.  Since
>>  it is not completely compatible with any version of KIF (there
>>  have been several) and since it was not done by the original
>>  KIFers (which includes Richard Fikes as well as Mike Genesereth),
>>  we should not call it KIF.
>
>Here are some suggestions that retain a hint of the KIF legacy:
>
>- CLIF - Common Logic Interchange Format
>- LIF  - Logic Interchange Format
>- KEF  - Knowledge Exchange Format
>- KNF  - Knowledge Notation Format
>- KDF  - Knowledge Description Format

Also SKIF, KIFS, KIF-Lite, KIF-05, WKIF, KIFLET, CLIKIF, KIFFLE, ...

But more seriously, if this is going to be called a KIF dialect we 
maybe should make it more KIF-like. When it was CL core, I felt that 
we had considerable freedom to design it the way we wanted. But now 
it has become the, as it were, legacy KIF in the ISO standard, which 
is rather a different role, maybe we should make it a bit more 
KIF-retro. There are changes like the order of quantifier 
restrictions, and the '...' notation for seqvars, that are purely 
aesthetic but will break many KIF parsers, and it would be harmless, 
if sad, to revert them to the old KIF versions in order to maximize 
backwards compatibility. The CL core is the only language in the spec 
that is specified to the level of detail where one can write a parser 
for it, and its the little things that break implementations.

Anyone got any thoughts?

Pat
-- 
---------------------------------------------------------------------
IHMC		(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32502			(850)291 0667    cell
phayes at ihmc.us       http://www.ihmc.us/users/phayes