保罗·西安卡里尼;达尼埃拉·福利;毛罗·加斯帕里 一种声明性协调语言。 （英语） Zbl 0998.68031号 计算。语言。 26，编号2-4，125-163（2000）. 小结：我们描述了Gammalog，一种语义基于化学隐喻的逻辑语言。该语言将在共享数据空间（如Gamma）上通过转换规则描述协调的能力与逻辑编程的执行模型相结合。Gammalog的主要特点是程序的声明性读取不仅限于纯逻辑语言，还包括协调机制。这一特性使Gammalog成为其他可嵌入逻辑编程的协调模型的一个很有前途的替代品。我们介绍了语言语法、形式语义和基于哥德尔的原型实现，哥德尔继承了它的强类型框架。作为语言表达能力的示例，我们提供了一个简单操作系统的规范。 MSC公司： 68N17号 逻辑编程 关键词：规范语言;甘马洛格 PDF格式BibTeX公司 XML格式引用 \textit{P.Ciancarini}等人，计算。Lang.26，No.2--4125-163（2000；Zbl 0998.68031） 全文： 内政部