逻辑分析专家系统LAP

LAP ——AN EXPERT SYSTEM FOR LOGIC NETWORK ANALYSIS

本文介绍了一个基于推理方法的逻辑分析专家系统LAP(Logic Analysis expert system in Prolog)。文中详细介绍了LAP系统的功能、系统结构、逻辑电路的知识表述方法、描述语言和分析实例等。

As a knowledge based expert system for logic network analysis, LAP performs logic function verification, simulation diagnosis etc.. The function, the structure, know-ledge representation of logic networks, the network description language and the examples of simulation results of LAP system are described in this paper.