Applying prolog to develop distributed systems

DOI10.1017/S1471068410000360MaRDI QIDQ3585178zbMATHOpenAlexFDO

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)

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

zbMATH Keywords

distributed systemslogic programmingprolog

Mathematics Subject Classification ID

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

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.

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

Cites work

• A network protocol stack in standard ML

Cited in

(6)

• A declarative approach to distributed computing: specification, execution and analysis
• scientific article; zbMATH DE number 2085262 (Why is no real title available?)
• Declarative distributed computing
• Distributed and predictable software model checking
• scientific article; zbMATH DE number 220133 (Why is no real title available?)
• Maintaining distributed logic programs incrementally

Describes a project that uses

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)