人工智能是当前信息科学技术发展中的一门前沿学科，作为人工智能领域中的一个重要分支一专家系统的研究尤其活跃，它模拟相关领域专家的决策过程，解决那些需要专家才能解决的复杂问题。围绕人工智能与专家系统的研究和应用开发也迎来一个蓬勃发展的新时期。因此，引进与消化国际上已经广泛流行的、功能强大和通用的智能程序设计语言、工具与环境，对于我国开发智能应用系统十分必要。　　 专家系统中的知识表示有产生式、框架、语义网络等，而在专家系统中运用较为普遍的知识是产生式规则，许多成功的专家系统都是用它来表示专家知识的。用产生式规则表示知识，由于诸产生式规则之间是独立的模块，这对系统的修改扩充特别有利。　　 本文首先讨论了专家系统的基本理论和常见的开发工具，并在此基础上比较了各种开发工具的优劣，随后介绍了逻辑程序设计语言—Prolog的程序结构、搜索求解方法及产生式系统的组成和推理方法，并进一步研究了规则和演绎数据库，提出一种具有约束绑定查询析取演绎数据库的优化技术，这种优化允许绑定传播成为一组具有约束性的析取式查询，从而解决了关于查询缩减数据规模的问题，使得计算单一模型的复杂性和所提到的整体模型得到极小化。　　 最后本文以粮食储备库为应用背景，采用Visual Prolog与数据库结合的专家系统技术，通过检测粮库内各点温度、湿度、烟尘，完成数据仓储，数据检索查询、报警显示，并可对突发情况及危险作出智能判定，使得本系统不仅具有一定的理论意义，还具有广泛的使用价值。