Knowledge Acquisition and Representation Language, aka Knowledge Acquisition and Representation Language, is a programming language created in 1993.
View source