KM is a powerful, frame-based knowledge representation language with clear first-order logic semantics. It contains sophisticated machinery for reasoning, including selection by description, unification, classification, and reasoning about actions using a situations mechanism. Its origins were the Theo language and the (now obsolete) language KRL.
|Source code repository|
You must be logged to add a note
You must be logged to add a comment