UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Applying Prolog to develop distributed systems

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. Green open access


Download (313kB)


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
URI: http://discovery.ucl.ac.uk/id/eprint/1361355
Downloads since deposit
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item