Linear KIF



next up previous
Next: Structured KIF Up: Syntax Previous: Syntax

Linear KIF

The alphabet of linear KIF consists of the 128 characters in the ASCII character set. Some of these characters have standard print representations; others do not. The characters with standard print representations (93 of the 128) are shown below.

        A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
        a b c d e f g h i j k l m n o p q r s t u v w x y z
        0 1 2 3 4 5 6 7 8 9 ( ) [ ] { } < > 
        = + - * / \ & ^ ~ ' ` " _ @ # $ % : ; , . ! ?

KIF originated in a Lisp application and inherits its syntax from Lisp. The relationship between linear KIF and structured KIF is most easily specified by appeal to the Common Lisp reader [Steele]. In particular, a string of ascii characters forms a legal expression in linear KIF if and only if (1) it is acceptable to the Common Lisp reader (as defined in Steele's book) and (2) the structure produced by the Common Lisp reader is a legal expression of structured KIF (as defined in the next section).



Vishal I. Sikka
Wed Dec 7 13:23:42 PST 1994