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

[Pat Hayes]

>Pat,
>
>How many projects that use KIF are actually using seqvars?

I gather that OntologyWorks use them, or something with equal 
expressive power (an LP subset supporting recursion.)

John, if this is the start of a campaign to remove seqvars, please 
don't go there. You have had over three years of opportunity to 
suggest changes like this to the CL design. At some point, we just 
have to take some decisions.

>KIF is widely used as an interchange format for first-order
>theorem provers, but do any of those theorem provers actually
>use seqvars?
>
>Would anybody on this list who is using KIF send a reply
>that says whether or not they are using seqvars, and if so,
>how important they are for their applications?
>
>I suspect that the most widely used part of KIF is the basic
>FOL subset, which is common to both KIF 3.0 and the version
>that expresses the full CL semantics.  We could therefore
>use the name KIF-FOL for that subset

Indeed. However, that subset is not mentioned explicitly anywhere in 
the standard at present (except, obliquely, as a type of 
conformance). That would presumably be another annex.

>, KIF 3.0 for the version
>documented by Genesereth & Fikes

KIF 3.0 is both a very different language in its details (eg of 
character encoding) and also a much larger language than any of the 
current implementations support or than is in any of the CL proposals.

>, and KIF-CL for the version
>that supports full CL.

The issue is however that this language, the 'KIF-like' CL syntax 
that I have been calling the CL core, is not in fact a KIF 
sublanguage. It is based upon KIF and inspired by it, and I like to 
think it is what KIF might have been if it had been invented today 
instead of over a decade ago, but the fact remains that it is not in 
fact KIF.

Pat

>
>John


-- 
---------------------------------------------------------------------
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