Towards Distributed Logic Programming based on Computability Logic

09/16/2019

∙

by   Keehang Kwon, et al.

∙

0

∙

share

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 web-based implemention of a distributed logic programming model based on CoL (CL1 to be exact).