Conclog: a methodological approach to concurrent logic programming (Q1202168)

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.