1 Table of Contents: “...Logic Program Synthesis via Proof Planning -- Deductive Synthesis of Programs for Query Answering...”

2 Table of Contents: “... and Synthesis in Constructive Formal Systems -- Synthesis and Transformation of Logic Programs from Constructive...”

3 Table of Contents: “... in Computational Logic -- Synthesis of Programs in Computational Logic -- Developing Logic Programs from...”

4 Table of Contents: “...Synthesis -- A Formal Framework for Synthesis and Verification of Logic Programs -- Protocols...”