Logic Programming: Formal Methods and Practical Applications

Appeared in Volume 8/3, August 1995

Keywords: theory.

Christoph Beierle, Lutz Pluemer (eds)
Email: Christoph.Beierle@fernuni-hagen.de

The papers are organised around four main themes, and closes with an 'outlook' section.

Part I: Foundations

1 Goal-Directed Forward Chaining: A Tuple-oriented Bottom-up Approach

(W. Burgard)

2 The WAM -- Definition and Compiler Correctness

(E. Boerger, D. Rosenzweig)

3 Automatic Verification of Parallel Logic Programs: Termination

(L. Pluemer)

Part II: Language Aspects and Methodology

4 Logic Program Modules for Interoperable Information Systems

(A.B. Cremers, Th. Lemke, M. Rohen)

5 Concepts, Implementation, and Applications of a Typed Logic Programming Language

(C. Beierle)

6 Polymorphic Feature Types

(G. Meyer)

7 Efficient Object-Oriented Programming in Prolog

(P. Schachte, G. Saab)

Part III: Constraints

8 Combinatorial Problem Solving in Constraint Logic Programming with Cooperating Solvers

(H. Beringer, B. De Backer)

9 Constraint Logic Programming for Industrial Scheduling Problems

(S. Breitinger, H.C.R. Lock)

Part IV: Applications

10 A Generic Scheduling Framework developed in Prolog

(L. Sterling, V. Srinivasan)

11 Scheduling and Meta-Scheduling

(J. Sauer)

12 Robot Control Systems as Contextual Logic Programs

(E. Denti, A. Natali, A. Omicini, F. Zanichelli)

13 Temporal Logic Programming Applied to Image Sequence Evaluation

(C. Brzoska, K. Schaefer)

Outlook

14 Logic Programming -- Past or Future ?

(H. Gallaire)

Studies in Computer Science and Artifical Intelligence, Vol. 11.
North Holland, 1995, 418 pages, Hardbound
Dfl. 250.00 (US$142.75)
ISBN 0-444-82092-2.
Tel: +31 20 485 3911
Fax: +31 20 485 2886