Conclog: a methodological approach to concurrent logic programming

MaRDI QIDQ1202168zbMATH OpenFDO

Authors Jean-Marie Jacquet

Publication date 23 January 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

declarative programmingHorn clausesconcurrent logic programminglanguage designconclog

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic programming (68N17)

Cited in

(10)

• Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic
• Multi-valued logic programming semantics An algebraic approach
• scientific article; zbMATH DE number 1834565 (Why is no real title available?)
• scientific article; zbMATH DE number 3995023 (Why is no real title available?)
• scientific article; zbMATH DE number 970730 (Why is no real title available?)
• scientific article; zbMATH DE number 714466 (Why is no real title available?)
• scientific article; zbMATH DE number 3958700 (Why is no real title available?)
• Efficient analysis of concurrent constraint logic programs
• scientific article; zbMATH DE number 3958697 (Why is no real title available?)
• A compositional semantic basis for the analysis of equational Horn programs

This page was built for publication: Conclog: a methodological approach to concurrent logic programming

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