Sciweavers

IDC
2009
Springer

A Protocol for Execution of Distributed Logic Programs

14 years 4 months ago
A Protocol for Execution of Distributed Logic Programs
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both cases it is supposed that each processor knows the entire logic program. In this paper we shall study a case where each agent only knows part of the program. We give a multi-modal logical language and its semantics which defines a protocol that is able to acquire the information needed to run the logic program.
László Aszalós, Andreas Herzi
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where IDC
Authors László Aszalós, Andreas Herzig
Comments (0)