摘要
介绍一个用PROLOG技术构造的定理证明系统。它以逻辑电路板仪器的描述、实验数据及假设为基础,实现对逻辑电路板(仪器)的故障自动诊断,证明某一元器件是否正常。
Presents a theorem proving system constructed by Prolog,Based on the descriptions,data and assumptions of logical circuit board(devices),the system can diagnosis malfunction of devices automatiely,proving whether some component works well.
