KM programming language
From Wikipedia, the free encyclopedia
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.
|This programming-language-related article is a stub. You can help Wikipedia by expanding it.|