DAHL is a Prolog-based compiler and a runtime environment for distributed applications.

It aims to provide a high-level specification language in which network protocols can be described as Prolog queries that respond to messages received from the network.

Here you can download DAHL for Linux/x86 together with a collection of examples, see the publications for more details.




Nuno P. Lopes, Juan A. Navarro, Andrey Rybalchenko, and Atul Singh. Applying Prolog to Develop Distributed Systems. Theory and Practice of Logic Programming, 26th Int’l. Conference on Logic Programming (ICLP’10) Special Issue, 10(4–6):681-696, July 2010. Cambridge University Press.