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.

• Type: Conference
• Year: 2009
• Where: IDC
• Authors: László Aszalós, Andreas Herzig
• Keywords: Distributed And Parallel Computing, Entire Logic Program, IDC 2009, Logic Program, Memory Multiprocessor Systems