Logic Programming: Formal Methods and Practical Applications, 1995

Christoph Beierle, Lutz Plümer (Eds.): Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence. Elsevier Science B.V./North-Holland 1995, ISBN 0-444-82092-2

Wolfram Burgard: Goal-Directed Forward Chaining: Tuple-oriented Bottom-up Approach. 1-19
Egon Börger, Dean Rosenzweig: The WAM - Definition and Compiler Correctness. 20-90
Lutz Plümer: Automatic Verification of Parallel Logic Programs: Termination. 91-119
Armin B. Cremers, Thomas Lemke, Mechthild Rohen: Logic Program Modules for Interoperable Information Systems. 121-138
Christoph Beierle: Concepts, Implementation, and Applications of a Typed Logic Programming Language. 139-167
Gregor Meyer: Polymorphic Feature Types. 169-203
Peter Schachte, Georges Saab: Efficient Object-Oriented Programming in Prolog. 205-243
Henri Beringer, Bruno De Backer: Combinatorial Problem Solving in Constraint Logic Programming with Cooperating Solvers. 245-272
Silvia Breitinger, Hendrik C. R. Lock: Using Constraint Logic Programming for Industrial Scheduling Problems. 273-299
Leon Sterling, Venkatesh Srinivasan: A Generic Scheduling Framework developed in Prolog. 301-322
Jürgen Sauer: Scheduling and Meta-Scheduling. 323-342
Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli: Robot Control Systems as Contextual Logic Programs. 343-379
Christoph Brzoska, Karl Schäfer: Temporal Logic Programming Applied to Image Sequence Evaluation. 381-395
Hervé Gallaire: Logic Programming - Past or Future? 397-404