This directory contains KR, a kernel knowledge representation system. Unlike other systems, KR implements a small, carefully selected amount of functionality in order to keep performance within reasonable limits.
Common Lisp
Prime Time Freeware for AI, Issue 1-1
Dario Giuse
Authors!Giuse, CMU, Frame Systems, KR, Knowledge Representation, Lisp!Code
Dario Giuse, "KR: an Efficient Knowledge Representation System", Technical Report CMU-RI-TR-87-23, Carnegie Mellon University, 1987.