Maintaining distributed logic programs incrementally

DOI10.1016/J.CL.2012.02.001zbMath1248.68129OpenAlexW2068157519MaRDI QIDQ456472

Vivek Nigam, Boon Thau Loo, Limin Jia, Andrej Scedrov

Publication date: 25 October 2012

Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.5485

zbMATH Keywords

correctnesslogic programmingdeclarative networkingdistributed Datalog

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Logic programming (68N17)

Related Items (2)

Maintaining distributed logic programs incrementally ⋮ Proof search and certificates for evidential transactions

Cites Work

• Maintaining distributed logic programs incrementally
• A framework for testing safety and effective computability
• Applying Prolog to develop distributed systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Maintaining distributed logic programs incrementally