C. Beierle and L. Plümer (editors).

Logic Programming: Formal Methods and Practical Applications.

Series: Studies in Computer Science and Artificial Intelligence, Vol. 11,
Elsevier Science B.V./North-Holland, Amsterdam, Holland, 1995, pages 419.
ISBN 0 444 82092 2

[This page contains a brief abstract and lists all chapters of the book.
Also available: the corresponding BibTeX-Entries.]

There is growing evidence of a convergence between the technical challenges of developing advanced software systems on the one hand, and the formal techniques, tools and features evolving from the logic programming paradigm on the other. This book aims at promoting such convergence. It provides contributions towards different aspects of logic programming, which are relevant to the development of complex and reliable software systems, and describes a number of advanced applications.

The papers are organised around four main themes. The first part covers special aspects of the formal foundations of logic programming, namely operational semantics and correctness issues (including verification of Prolog compilation). Language extensions and methodology are the topics of the second section, dealing with modules, types and objects. Part Three focuses on the paradigm of constraint logic programming and demonstrates its relevance to combinatorial problems. The fourth chapter presents a number of applications of logic programming, ranging from scheduling and robot control to image processing. The publication closes with an outlook on the challenges and opportunities lying ahead in the field of logic programming.


List of Contributors

Part I: Foundations

Part II: Language Aspects and Methodology

Part III: Constraints

Part IV: Applications


[Home page Praktische Informatik VIII]

WebAdmin Nov.95