tuili(推理)语言的编译方法与实现技术

通用交互式逻辑推理语言tuili是能够进行不同方向并能选择不同搜索策略进行推理的人工智能语言,特别适合快速建造专家系统或基于知识的系统。它的实现将使这一新颖的推理语言的应用成为可能。本文给出作者已经实现的一个tuili系统中用到的编译方法和主要的实现技术。