Rondogiannis，P。;Gergatsoulis，M。;Panayiotopoulos，T。 分支时间逻辑编程：语言仙人掌及其应用。 （英语） Zbl 0948.68034号 计算。语言。 24，第3期，155-178（1998）. 摘要：时态编程语言为描述和实现动态系统提供了强大的手段。然而，大多数时态语言都基于线性时间，这一事实使得它们不适合某些类型的应用程序（例如表达非确定性程序的属性）。本文介绍了一种新的时态逻辑编程语言Cactus，它基于时间的分支概念。在Cactus中，谓词的真值取决于隐藏的时间参数，该参数在树状结构中变化。因此，可以使用Cactus以自然的方式表示非确定性计算或涉及树数据结构操作的一般算法。此外，Cactus似乎适合作为编译器或程序转换器的目标语言。Cactus程序可以使用BSLD-resolution执行，这是一种基于规范时间原子/子句概念的证明过程。 引用于7文件 MSC公司： 68N17号 逻辑编程 关键词：时态编程语言 软件：仙人掌 PDF格式BibTeX公司 XML格式引用 \textit{P.Rondogiannis}等人，计算。Lang.24，No.3，155--178（1998年；Zbl 0948.68034） 全文： 内政部