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

[John F. Sowa]

Pat,

How many projects that use KIF are actually using seqvars?

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, KIF 3.0 for the version
documented by Genesereth & Fikes, and KIF-CL for the version
that supports full CL.

John