  {\em Computability logic} (CoL) is a powerful computational model which views
computational problems as games played by a machine and its environment. 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), which we call CL1^{\Omega}.
The key feature of this model is that it supports $dynamic/evolving$
knowledgebase of an agent. This model turns out to be a promising approach to
reaching both general AI and future computing model.
