1 Subjects: “...Logic programming...”

2 Table of Contents: “...-of-Core Functional Programming with Type-Based Primitives -- Functional-Logic Programming -- A Functional...”

3 Table of Contents: “... -- Logic Programming -- Analysis of Normal Logic Programs -- The Correctness of Set-Sharing -- Deriving...”

4 Table of Contents: “... Reduction for Typed Logic Programs with Subtyping -- Dynamically Ordered Probabilistic Choice Logic...”

5 “... paradigms, formal languages, objects and mobility, computational complexitiy, security, and logics and logic...”

6 Table of Contents: “... Logic Programs --...”

7 Table of Contents: “... to the Bounded Retransmission Protocol -- Model Checking in CLP -- Using Logic Programs with Stable Model...”