CK-LOG System Conversion (User's Manual and User Interface).
Abstract
The CK-LOG code written in TOPS-20 ELISP has been converted to Common LISP, and is running on the LMI Lambda. This required both across-the-board syntactic changes in functions as well as entire rewriting of functions. There was no need to change any domain data, as the domain was rebuilt from scratch in Common LISP. A user interface/display for Oplan-Consultant was created. It uses both CK-LOG routines and LMI windowing facilities. There are two categories of information that can be displayed: the lattice of time events and the lattice of class information. Time events are markers in the CK-LOG domain (database of information, or world state) which indicate that some change has occurred at a particular time. The change could be an addition to the domain, a deletion, or a change in a pre-existing condition. CK-LOG is unique in that it associates a time with these changes, thereby allowing for logical reasoning about the feasibility of assertions made to the domain. The time lattice displays event numbers, representing events in time, in a bottom-up tree.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 16, 1987
- Accession Number
- ADA190273