Page Numbers: Yes First Page: 1
Heading:
[IVY]<KRL>document>stray-todo
Work to be done in KRL-1
Basic Functions
Describe
Internal status of entities and mappings
Interaction with worlds
Updating things which are distributed at read-in time
Process descriptions known to the system
Structure of the code
Seek
Internal status of entities and mappings
GetItem, Item, ItemSequence
Descriptor descriptions known to the system
Process descriptions known to the system
Structure of the code
Match
Internal status of entities and mappings
Specifying match bindings
Getting the values back
Residues
Process descriptions known to the system
Structure of the code
Structure Specifiers
Detailed syntax
Implementation
Futher specification and clusters
syntax
implementation
interaction with mapping
Interactions with LISP
Getting variable values
passing arguments to Lisp functions in triggers, etc.
Units and Functionals
LispApply, LispEval,...
is there a direct run and get result?
Using
is there a corresponding if-then?
Current Values
Details of descriptors
Interaction with contingencies
Indexing?
Description Spaces
Status of units -- statements about their existence
Can there be units not in M?
Units and functionals
Use as worlds in Describe, Match, Seek, etc.
Special syntax?
Knowledge about knowledge -- interaction with contingencies
Functionals
notation for item in set, etc.
Internal Representation
Caching and folding
Closures
copying vs. wrapping
Interaction with extended data space
Detailed record declarations, etc.
Stuff that knows about sets
Units and functionals
Routines for seek, match, etc.
Quantifiers
Details of ARB and scope linking
Routines for seek, match, etc.
Triggers and Traps
Linkage type things
Actual event units
Efficiency issues
Printing and Reading
Prettyprinter
External Reader
MakeKrl
MakeKrlSequence
File organization stuff
Typein Representation
Round and Square
Syntax
Meta-description (backarrow?)
Process stuff
Process Descriptions
General ones?
Efficient finding
call descriptions
multiple agendas