1 Table of Contents: “... logic programs -- A debugging model for functional logic programs -- A conservative approach to meta...”

2 Table of Contents: “... programming language -- Camel: An extension of the categorical abstract machine to compile functional/logic...”

3

4

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

6 Table of Contents: “... Transformation for Backwards Analysis of Logic Programs -- An Efficient Staging Algorithm for Binding-Time...”