Categories: Declarative programming languages | Knowledge representation
KM, the Knowledge Machine, is a frame-based language used for knowledge representation work.