Tags: Programming Language.

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.

Loading...

This page contains content from the copyrighted Wikipedia article "KM programming language"; that content is used under the GNU Free Documentation License (GFDL). You may redistribute it, verbatim or modified, providing that you comply with the terms of the GFDL.