Distributed Logic Programming

DOI10.1016/S0743-1066(14)80002-2MaRDI QIDQ4696741zbMATH OpenFDO

Authors Antonio Brogi, Roberto Gorrieri

Publication date 29 June 1993

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0743-1066(14)80002-2

zbMATH Keywords

AND-parallelismcommunicating sequential logic processesDistributed Logicmessage-passingmodel-theoretic semanticsoperational semanticsPetri nets

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Distributed algorithms (68W15)

Recommendations

• Distributed concurrent linear logic programming
• scientific article; zbMATH DE number 1737609
• The implementation of a distributed model for logic programming based on multiple-headed clauses
• scientific article; zbMATH DE number 3878341
• scientific article; zbMATH DE number 2134134

Cited in

(19)

• The implementation of a distributed model for logic programming based on multiple-headed clauses
• Distributed programming with logic tuple spaces
• Distributed concurrent linear logic programming
• Constraint satisfaction in distributed concurrent logic programming
• Parallel and distributed logic programming. Towards the design of a framework for the next generation database machines.
• Distributed first order logics
• Declarative distributed computing
• scientific article; zbMATH DE number 2134134 (Why is no real title available?)
• scientific article; zbMATH DE number 3878341 (Why is no real title available?)
• A Logic For Distributed Processes
• scientific article; zbMATH DE number 1231539 (Why is no real title available?)
• : A distributed real-time logic language
• scientific article; zbMATH DE number 1737612 (Why is no real title available?)
• scientific article; zbMATH DE number 1760137 (Why is no real title available?)
• Logic programming as a service
• Maintaining distributed logic programs incrementally
• Putting logic-based distributed systems on stable grounds
• Distributed Relation Logic
• A declarative approach to distributed computing: specification, execution and analysis

This page was built for publication: Distributed Logic Programming

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