Applying prolog to develop distributed systems

DOI10.1017/S1471068410000360zbMATH Open1205.68087arXiv1007.3835OpenAlexW3106366539MaRDI QIDQ3585178FDOQ3585178

Authors: Nuno P. Lopes, Juan A. Navarro, Andrey Rybalchenko, Atul Singh 

Publication date: 19 August 2010

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Abstract: 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 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.

Full work available at URL: https://arxiv.org/abs/1007.3835

Recommendations

• Declarative distributed computing
• A declarative approach to distributed computing: specification, execution and analysis
• Putting logic-based distributed systems on stable grounds
• scientific article; zbMATH DE number 220133
• scientific article; zbMATH DE number 1760136

zbMATH Keywords

distributed systemslogic programmingprolog

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Distributed systems (68M14)

Cites Work

• A network protocol stack in standard ML

Cited In (6)

• Declarative distributed computing
• Distributed and predictable software model checking
• A declarative approach to distributed computing: specification, execution and analysis
• Maintaining distributed logic programs incrementally
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• Erlang

This page was built for publication: Applying prolog to develop distributed systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3585178)