Applying Prolog to Develop Distributed Systems

Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. While Datalog-based languages have been actively explored for programming distributed systems, Prolog received relatively little attention in this application area so far. In this paper, we investigate the applicability of a Prolog-based programming system, called DAHL, for the declarative development of distributed systems. For this task, we extend Prolog with an event-driven control mechanism and built-in networking procedures. Our experimental evaluation using a distributed hashtable data structure, a protocol for achieving Byzantine fault tolerance, and a distributed software model checker

• Type: Journal
• Year: 2010
• Where: CORR
• Authors: Nuno P. Lopes, Juan A. Navarro, Andrey Rybalchenko, Atul Singh
• Keywords: CORR 2010, Declarative Programming Techniques, Distributed Hashtable Data, Distributed Systems, Education