微机上实现的逻辑推理语言 Tuili 1.1

一、概述Tuili 是一个基于谓词逻辑的人工智能语言,具有自然的说明性知识表示方式和能够运用这种说明性知识进行多种推理的显著特点。Tuili 的设计不但成功地解决了将产生式语言、逻辑程序设计和过程型语言有机结合的问题,而且在知识程序的模块化结构、元级推理以及计算功能等方面有重要创新,因而比目前其它的一些人工智能语言,如OPS5、LISP、Prolog 等,更适合建造专家系统和基于知识的系统。Tuili 以其设计新颖、推理功能丰富、高度灵活的控制结构以及表达形式的优雅,受到了国内外同行的普遍重视和高度评价。Tuili 一词具有双重含义,既