The aim of this paper is to propose a framework for logic programs cooperation using ALP model started in [6]. Following [12], the paper analyzes the communication events TELL, ASK-IF, REPLY-IF, ASK-ALL, REPLY-ALL needed in interactive query answering. The main section (Section 3) presents the MOF/UML model of our framework and the ALP behavior when a communication event (ALP change_state operation) is received. In Section 4 we provide an example of cooperation between two (or more) logic programs under minimal model semantics using ALP programs and event communication.
distributed environments, logic programming, rules, communication events
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).