Applying Prolog to develop distributed systems

DOI10.1017/S1471068410000360zbMath1205.68087arXiv1007.3835OpenAlexW3106366539MaRDI QIDQ3585178

Atul Singh, J. A. Navarro, Nuno P. Lopes, Andrey Rybalchenko

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)

Related Items (3)

Maintaining distributed logic programs incrementally ⋮ A declarative approach to distributed computing: Specification, execution and analysis ⋮ Distributed and Predictable Software Model Checking

Uses Software

• Erlang

Cites Work

• A network protocol stack in standard ML

This page was built for publication: Applying Prolog to develop distributed systems