KM programming language

From Wikipedia, the free encyclopedia
Jump to: navigation, search
KM
Paradigm(s) knowledge representation
Influenced by KRL

KM, the Knowledge Machine, is a frame-based language used for knowledge representation work.

It has first-order logic semantics, and includes machinery for reasoning, including selection by description, unification, classification, and reasoning about actions. Its origins were the Theo language and KRL, and is implemented in Lisp.

External links[edit]