The evolution of CycL, the Cyc representation language
Douglas B. Lenat, R. Guha · ACM SIGART Bulletin · 1991
CycL is the language in which the Cyc Knowledge Base is being encoded. This paper reviews some of the methodological considerations and the technical decisions (resulting from these considerations) that are both different from conventional thinking and that have significantly influenced the design of the language.