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)

Review text

The present book describes the result of an impressive work in the field of concurrent logic programming. The objective of the work ``is to conceive a language expressing concurrent executions in the classical logic programming framework and standing as close as possible to the ideal of logic programming meeting the following requirements: 1) Language based on the conventional logic programming framework. 2) General-purpose language. 3) Concurrency expressing language. 4) Simple though powerful language. 5) Implementable language. These intensions are exemplarily elaborated and realized, and the book contains a lot of information, the demonstration of a well-elaborated methodology together with the complete design of the language Conclog and some interesting examples for the application of the language. The richness of the material can here only be indicated by the headlines of the chapters: Part I: Introduction -- logic programming; Part II: Designing Conclog A reconciliation calculus -- A basic scheme for concurrent logic programming -- Incorporating negation -- Adding extra-logical features -- Event-driven reconciliation -- Comparison with related work; Part III: Programming in Conclog Towards a methodology of concurrent logic programming -- Programming non- behavioral applications -- Programming behavioral applications: Part IV: Conclusion. The book is very well written and can be recommended to everybody who is interested in the further development of logic programming.

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)