KM程式語言

KM全名是知識機器（Knowledge Machine），是用在知识表示領域的知識框架語言。

KM有一階邏輯的語意，也有包括依描述選擇、合一、分類、理解等機械推理。KM源自Theo語言及，是用Lisp實現。

外部連結
 KM: The Knowledge Machine . 
 An Ontology editor for the KM language: KMgen .

宣告式編程語言
知识表示