{\em Computability logic} (CoL) is a powerful computational model which views computational problems as games played by a machine and its environment. It uses formulas to represent computational problems. In this paper, we show that CoL naturally supports multiagent programming models with distributed control. To be specific, we discuss a distributed logic programming model based on CoL (CL1 to be exact).

翻译：~ 计算逻辑} (CoL) 是一个强大的计算模型, 将计算问题视为机器及其环境玩耍的游戏。 它使用公式来代表计算问题。 在本文中, 我们显示 CoL 自然支持有分布控制的多试剂编程模型。 具体地说, 我们讨论一个基于 Col( CL1 ) 的分布逻辑编程模型 。