1 Table of Contents: “..., and Logic Programming -- Taxonomical Reasoning in Logic Programming -- Synthesis of Specifications from...”

2 Table of Contents: “... Overall Organization -- 1.4 Syntax of Logic Programs -- 1.5 Data Manipulation by Unification -- 2...”

3 Table of Contents: “... -- Maschinenethik und Künstliche Intelligenz -- From Logic Programming to Machine Ethics -- Evolutionary Machine...”

4 Table of Contents: “... Interpretation of Logic Programs -- Many-Sorted Resolution -- II Wissensrepräsentation -- Wissensrepräsentation...”

5 Table of Contents: “... for Resolution with Equality -- Answer for Disjunctive Logic Programs -- Zur Steuerung und Optimierung der SIP...”

6 Table of Contents: “... -- 8.2 State of the Art -- 8.3 Parallelism in Logic -- 8.4 MMLOP: A Parallel Logic Programming Language...”

7 Table of Contents: “... for Constraint Logic Programming -- TPNA: Ein neues Analyseverfahren für Tandem-Prioritäten-Netze -- Derivation...”

8 Table of Contents: “... Entscheidungsunterstützung -- Directions for Logic Programming -- Architekturen für graphische Simulatoren -- The Role...”

9 Table of Contents: “... Graph Reduction on a Processor Network -- An Or-Parallel Logic Programming Machine for Non-shared Memory...”

10 Table of Contents: “... -- Model-Based Diagnosis with Constraint Logic Programs...”

11 Table of Contents: “... Calculus with Declarations -- 4. Logik-orientiertes Programmieren und Programmsynthese -- Logic Programming...”

12 Table of Contents: “... environment for logic programming -- Practitioner — realistic reuse of software -- Validation methods...”