Abstract is missing.
- Goal-Directed Forward Chaining: Tuple-oriented Bottom-up ApproachWolfram Burgard. 1-19
- The WAM - Definition and Compiler CorrectnessEgon Börger, Dean Rosenzweig. 20-90
- Automatic Verification of Parallel Logic Programs: TerminationLutz Plümer. 91-119
- Logic Program Modules for Interoperable Information SystemsArmin B. Cremers, Thomas Lemke, Mechthild Rohen. 121-138
- Concepts, Implementation, and Applications of a Typed Logic Programming LanguageChristoph Beierle. 139-167
- Polymorphic Feature TypesGregor Meyer. 169-203
- Efficient Object-Oriented Programming in PrologPeter Schachte, Georges Saab. 205-243
- Combinatorial Problem Solving in Constraint Logic Programming with Cooperating SolversHenri Beringer, Bruno De Backer. 245-272
- Using Constraint Logic Programming for Industrial Scheduling ProblemsSilvia Breitinger, Hendrik C. R. Lock. 273-299
- A Generic Scheduling Framework developed in PrologLeon Sterling, Venkatesh Srinivasan. 301-322
- Scheduling and Meta-SchedulingJürgen Sauer. 323-342
- Robot Control Systems as Contextual Logic ProgramsEnrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli. 343-379
- Temporal Logic Programming Applied to Image Sequence EvaluationChristoph Brzoska, Karl Schäfer. 381-395
- Logic Programming - Past or Future?Hervé Gallaire. 397-404