The Free On-line Dictionary of Computing (30 December 2018):

KRL

   Knowledge Representation Language.  A frame-based
   language.

   ["An Overview of KRL, a Knowledge Representation Language",
   D.G. Bobrow and T. Winograd, Cognitive Sci 1:1 (1977)].