NIKL
Frame language.
["Recent Developments in NIKL", T.R. Kaczmarek et al, Proc AAAI-86, 1986].