奥斯特罗夫，J.S。 用于离散事件过程推理的约束逻辑编程。 （英语） Zbl 0764.68014号 J.日志。程序。 11，编号3-4，243-270（1991）. 摘要：本文的目的是表明约束逻辑编程是一种有用的计算逻辑，用于建模、模拟和验证实时离散事件过程。设计者关于离散事件过程的知识可以用约束逻辑程序来表示，其方式接近过程的数学定义，并可用于可能无限状态系统的半自动验证。约束语言（text{CPL}（{mathfrak R}）用于说明验证技术。 引用于10文件 MSC公司： 68N17号 逻辑编程 关键词：约束语言CPL\（（{\mathfrak R}）\）;约束逻辑程序设计;离散事件过程 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Ostroff}，J.Log。程序。11，编号3--4，243--270（1991；Zbl 0764.68014） 全文： 内政部