马诺利斯Gergatsoulis 分支时间逻辑编程语言CACTUS的扩展。 （英语） Zbl 1001.68021号 Gergatsoulis，Manolis（编辑）等人，《集约规划II》。1999年6月28日至30日，希腊雅典，第十二届内涵式编程语言国际研讨会（ISLIP’99）的论文。新加坡：世界科学。117-132（2000年）。 摘要：Cactus被认为是一种基于时间分支概念的时态逻辑编程语言。Cactus支持两个主要操作符：时间操作符first，表示时间中的第一个时刻；时间操作符next，表示当前时刻的第（i）个子级。实际上，通过下一个\（_i），我们表示一个族\（{text{下一个}_i\下一个操作符的中间i\in\mathbb{N}\}），每个操作符都指向当前操作符之后的不同下一个时刻。本文用新的时态算子对Cactus进行了推广。更具体地说，我们研究了算符next的两个变体，即分别表示“一些下一时刻”和“所有下一时刻“的算符（O_F）和（O_G）的使用。我们还研究了众所周知的时间操作符（平方）（always）和（diamondsuit）（time）的分支变体的使用。关于整个系列，请参见[Zbl 0970.00028号]. MSC公司： 68N17号 逻辑编程 03B44号 时间逻辑 关键词：仙人掌 软件：CACTUS公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Gergatsoulis}，in：集约型编程II。1999年6月28日至30日在希腊雅典举行的第十二届内涵式编程语言国际研讨会（ISLIP’99）上发表的论文。新加坡：世界科学。117-132（2000年；Zbl 1001.68021）