Author:
LOPES NUNO P.,NAVARRO JUAN A.,RYBALCHENKO ANDREY,SINGH ATUL
Abstract
AbstractDevelopment 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 present a Prolog-based programming system, called DAHL, for the declarative development of distributed systems. DAHL extends Prolog with an event-driven control mechanism and built-in networking procedures. Our experimental evaluation using a distributed hash-table data structure, a protocol for achieving Byzantine fault tolerance, and a distributed software model checker—all implemented in DAHL—indicates the viability of the approach.
Publisher
Cambridge University Press (CUP)
Subject
Artificial Intelligence,Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Specification and Runtime Checking of Derecho, A Protocol for Fast Replication for Cloud Services;Proceedings of the 5th workshop on Advanced tools, programming languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems;2023-06-19
2. Service-Oriented Architecture for Block-Base Construction Building;Artificial Intelligence in Models, Methods and Applications;2023
3. Probabilistic QoS-aware Placement of VNF Chains at the Edge;Theory and Practice of Logic Programming;2021-02-15
4. From Clarity to Efficiency for Distributed Algorithms;ACM Transactions on Programming Languages and Systems;2017-07-20
5. Automated verification of safety properties of declarative networking programs;Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming;2015-07-14