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

conclogconcurrent logic programmingdeclarative programmingHorn clauseslanguage design

Mathematics Subject Classification ID

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

Cited in

(13)

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

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)