Page Numbers: Yes First Page: 1
Heading:

June 14, 1977 12:03 PM [IVY]<KRL>document>str-basic-attach

Status: to be written. Exact specification depends somewhat on details of the interpreter

Specification of standard procedural attachments in KRL1

The notion of procedural attachment has been broken up into a number of components in KRL-1. The major distinctions are:

1. Separating out the declarative statement that some entity can be described as "the result from a process meeting description X", and a procedural statement that that process should be carried out at some particular time.

2. Using two conceptually different mechanisms for demons and servants. Demons are implemented using the production mechanism (see <KRL>production.doc) which is also the mechanism for what we used to call "signals". Servants are implemented using the index mechanism (see <KRL>index.doc).

3. All procedural attachment is mediated through the action of the cataloguer. At parse time (the building of memory structures for units), all meta-descriptions of a certain class (itemized below) cause corresponding items to be put in the index and production set.

4. short circuiting

heading