1 Table of Contents: “... proof for the completeness of SLD-resolution -- A quantifier-free completion of logic programs...”

2 Table of Contents: “... algebras -- On the completeness of narrowing as the operational semantics of functional logic programming...”

3 Table of Contents: “... -- Developing logic programs: Computing through normalizing -- Model theory of deductive databases -- Algorithms...”

4 Table of Contents: “... and the complexity of computations of logic programs -- A remark on minimal polynomials of Boolean functions...”

5 Table of Contents: “...-directed forward chaining for logic programs -- Decision problems for tarski and presburger arithmetics...”

6 Table of Contents: “... logic -- A transformational methodology for proving termination of logic programs -- Plausibility logic...”