A protocol for execution of distributed logic programs

International audienceIn the last fifteen years many work in logic programming has focused 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