Lopes, NP;
Pérez, JAN;
Rybalchenko, A;
Singh, A;
(2010)
Applying Prolog to develop distributed systems.
Theory and Practice of Logic Programming
, 10
(4-6)
691 - 707.
10.1017/S1471068410000360.
![[thumbnail of Navarro_tplp10.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) Preview |
PDF
Navarro_tplp10.pdf Download (313kB) |
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.
| Type: | Article |
|---|---|
| Title: | Applying Prolog to develop distributed systems |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1017/S1471068410000360 |
| Publisher version: | http://dx.doi.org/10.1017/S1471068410000360 |
| Language: | English |
| Additional information: | This is the authors' accepted version of this published article. |
| Keywords: | distributed systems, logic programming, Prolog |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/1361355 |
Archive Staff Only
 |
View Item |
