- From: Miles Sabin <MSabin@interx.com>
- Date: Tue, 3 Apr 2001 07:41:05 +0100
- To: www-rdf-logic@w3.org
Richard Fikes wrote, > pat hayes wrote, > > If KIF is taken to be a strict first-order language then > > there is no way to guarantee, on semantic grounds, that all > > lists are finite. The 'definition' of lists (also called > > 'sequences) in the extant KIF literature is a little vague > > on just this issue. > > Chapter 8 of the "draft proposed American National Standard > (dpANS)" of KIF (at http://logic.stanford.edu/kif/dpans.html) > says that a list is a finite sequence of objects. Perhaps, but this can't be expressed in first order PC. Cheers, Miles -- Miles Sabin InterX Internet Systems Architect 5/6 Glenthorne Mews +44 (0)20 8817 4030 London, W6 0LJ, England msabin@interx.com http://www.interx.com/
Received on Tuesday, 3 April 2001 02:41:48 UTC