• An Efficient Term Representation for CHR Indexing
  Beata Sarna-Starosta and Tom Schrijvers
• Confidence based Work Stealing in Parallel Constraint Programming
  Geoffrey Chu, Christian Schulte and Peter Stuckey
• Extending Tabled Logic Programming with Multi-Threading: A Systems Perspective
  Terrance Swift, Rui Marques and Jose Cunha
• Secure Implementation of Meta-predicates
  Paulo Moura
• Declarative Combinatorics in Prolog: ShapeShifting Data Objects with Isomorphisms and Hylomorphisms
  Paul Tarau
• Interactors: Logic Engine Interoperation with Pure Prolog Semantics
  Paul Tarau
• Precise Garbage Collection in Prolog
  Jan Wielemaker and Ulrich Neumerkel
• Pairing Functions, Boolean Evaluation and Binary Decision Diagrams in Prolog
  Paul Tarau
• A Program Transformation for Continuation Call-Based Tabled Execution
  Pablo Chico de Guzmán, Manuel Carro and Manuel Hermenegildo
• About Redundant Sudoku Rules
  Bart Demoen and Maria Garcia de la Banda
• Efficient Evaluation of Deterministic Tabled Calls
  Miguel Areias and Ricardo Rocha
• Tabling Logic Programs in a Common Global Trie
  Jorge Costa and Ricardo Rocha
• Implementing Thread Cancellation in Multithreaded Prolog Systems
  Atef Suleiman