KM程式語言

KM全名是知識機器 （ Knowledge Machine ） ， 是用在知識表示領域的知識框架語言 。 KM有一階邏輯的語意 ， 也有包括依描述選擇 、 合一 、 分類 、 理解等機械推理 。 KM源自Theo語言及 ， 是用Lisp實現 。