1 Table of Contents: “... Classes -- Asynchronous Unfold/Fold Transformation for Fixpoint Logic -- Program Logic for Higher-Order...”

2 Table of Contents: “... of semantics for normal constraint logic programs -- Order-sorted termination: The unsorted way -- Unravelings...”

3 Table of Contents: “... computations -- A semantic basis for termination analysis of logic programs and its realization using symbolic...”

4

5

6 “... on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020. Due...”

7 Table of Contents: “... -- Relational Models for Tabling Logic Programs in a Database -- Integrating XQuery and Logic Programming...”

8 “... discussions of appli- tions of important technologies around logic programming, constraint problem solving...”

9 Table of Contents: “... -- Embedding Functional Logic Programming in Haskell via a Compiler Plugin -- Execution Time Program...”

10 Table of Contents: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”

11 Table of Contents: “... Principles and Heurstic Strategies in Modeling Human Clusters -- Functional and Logic Programming -- Concolic...”

12 Table of Contents: “... Logic-Based Language for Brain Modeling -- From Zinc to Design Model -- Inductive Logic Programming...”

13 Table of Contents: “... for CSP Specifications -- Fast Offline Partial Evaluation of Large Logic Programs -- An Inference...”