KM 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.
KM 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.
has abstract
KM, the Knowledge Machine, is ...... L, and is implemented in Lisp.
@en
KM全名是知識機器（Knowledge Machine），是 ...... 。KM源自Theo語言及KRL 程式語言，是用Lisp實現。
@zh
influenced by
Wikipage page ID
Wikipage revision ID
743,296,284
paradigm
hypernym
comment
KM, the Knowledge Machine, is ...... L, and is implemented in Lisp.
@en
KM全名是知識機器（Knowledge Machine），是 ...... 。KM源自Theo語言及KRL 程式語言，是用Lisp實現。
@zh
label
KM programming language
@en
KM程式語言
@zh
wasDerivedFrom
isPrimaryTopicOf
name
KM
@en