KM程式語言 KM全名是知識機器Knowledge Machine是用在知识表示領域的知識框架語言 KM有一階邏輯的語意也有包括依描述選擇合一分類理解等機械推理KM源自Theo語言及KRL 程式語言英语KRL programming language是用Lisp實現