Applying Prolog to Develop Distributed Systems

Details Applying Prolog to Develop Distributed Systems Applying Prolog to Develop Distributed Systems

2010-07-22

arxiv.org/abs/1007.3835v1

Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, 10(4-6):691-707

Computer Science

Programming Languages

Scientific paper

10.1017/S1471068410000360

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.

Affiliated with

Also associated with

No associations

Rating

Applying Prolog to Develop Distributed Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Applying Prolog to Develop Distributed Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Applying Prolog to Develop Distributed Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-611461