KM程式語言

KM全名是知識機器(Knowledge Machine),是用在知識表示領域的知識框架語言。

KM
編程範型知識表示
啟發語言
KRL英語KRL (programming language)

KM有一階邏輯的語意,也有包括依描述選擇、合一、分類、理解等機械推理。KM源自Theo語言及KRL 程式語言英語KRL (programming language),是用Lisp實現。

外部連結