Constraint satisfaction in distributed concurrent logic programming

DOI10.1006/JSCO.1996.0037MaRDI QIDQ2365137zbMATH OpenOpenAlexFDO

Authors Hofung Leung, K. L. Clark

Publication date 22 January 1997

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jsco.1996.0037

zbMATH Keywords

D/C-Parlogdistributed concurrent constraints logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1059301
• Constraints meet concurrency
• scientific article; zbMATH DE number 1337862
• Logic Programming
• Distributed Logic Programming

Cited in

(12)

• Distributed programming with logic tuple spaces
• Distributed reasoning for restricted weakly-linear disjunctive tuple-generating dependencies
• Distributed Abductive Reasoning with Constraints
• scientific article; zbMATH DE number 67481 (Why is no real title available?)
• scientific article; zbMATH DE number 1059301 (Why is no real title available?)
• scientific article; zbMATH DE number 1059303 (Why is no real title available?)
• scientific article; zbMATH DE number 1975621 (Why is no real title available?)
• scientific article; zbMATH DE number 2080332 (Why is no real title available?)
• Past and present (and future) of parallel and distributed computation in (constraint) logic programming
• scientific article; zbMATH DE number 2087249 (Why is no real title available?)
• SMTS: Distributed, Visualized Constraint Solving
• Levels of concurrency in constraint satisfaction problems with subdefinite objects

This page was built for publication: Constraint satisfaction in distributed concurrent logic programming

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