Maintaining distributed logic programs incrementally

DOI10.1016/J.CL.2012.02.001zbMATH Open1248.68129OpenAlexW2068157519MaRDI QIDQ456472FDOQ456472

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

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

Recommendations

• A declarative approach to distributed computing: specification, execution and analysis
• Distributed Logic Programming
• scientific article; zbMATH DE number 1926644
• Declarative distributed computing
• Putting logic-based distributed systems on stable grounds

zbMATH Keywords

logic programmingcorrectnessdeclarative networkingdistributed Datalog

Mathematics Subject Classification ID

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

Cites Work

• A framework for testing safety and effective computability
• Title not available (Why is that?)
• Distributed reasoning in a peer-to-peer setting: application to the semantic web
• Applying prolog to develop distributed systems
• Maintaining distributed logic programs incrementally

Cited In (6)

• Incremental maintenance of overgrounded logic programs with tailored simplifications
• Maintaining distributed logic programs incrementally
• Title not available (Why is that?)
• Proof search and certificates for evidential transactions
• Distributed programming with logic tuple spaces
• Efficient incremental maintenance for distributive and non-distributive aggregate functions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q456472)