KM: The Knowledge Machine

KM: The Knowledge Machine

KM is a powerful, frame-based 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. It is implemented in Lisp.




KM is released under the Simplified BSD Licence. A copy of the licence is below and also bundled with the software. If you would like a copy under a different licencing agreement, please contact one of the authors. KM comes with ABSOLUTELY NO WARRANTY. This is free software, and you are wlecome to redistribute it under certain conditions. See the LICENCE below for details.

Important! Please see the RELEASE-NOTES for changes made to KM since the manuals were written.

Support Tools

KM Mailing List

You can stay up-to-date with KM, post and answer questions, be alerted to new releases of KM, etc. by joining the KM Users Group hosted by Google Groups at

Additional Background Information


Back to KBS Group Home Page