The implementation of a distributed model for logic programming based on multiple-headed clauses

DOI10.1016/0020-0190(92)90232-KzbMath0772.68016OpenAlexW2029986909WikidataQ127372207 ScholiaQ127372207MaRDI QIDQ1198092

Evelina Lamma, Anna Ciampolini, Antonio Brogi, Paola Mello

Publication date: 16 January 1993

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(92)90232-k

zbMATH Keywords

inter-process communicationmultiple-headed clauses

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Logic programming (68N17)

Related Items

Distributed programming with logic tuple spaces

Uses Software

• GHC

Cites Work

• AND parallelism and nondeterminism in logic programs
• A synchronization logic: Axiomatics and formal semantics of generalized horn clauses
• PARLOG: parallel programming in logic