Logic Programming: 17thInternational Conference, ICLP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings
Author: Philippe Codognet
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-42935-7
DOI: 10.1007/3-540-45635-X

Table of Contents:

• Solving the Multiplication Constraint in Several Approximation Spaces
  
• Is Logic Really Dead or Only Just Sleeping?
  
• Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations
  
• X-tegration — Some Cross-Enterprise Thoughts
  
• Building Real-Life Applications with Prolog
  
• Natural Language Tabular Parsing
  
• A Close Look at Constraint-Based Concurrency
  
• Probabilistic Databases and Logic Programming
  
• Understanding Memory Management in Prolog Systems
  
• PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures
  
• On a Tabling Engine That Can Exploit Or-Parallelism
  
• Revisiting the Cardinality Operator and Introducing the Cardinality-PathConstraint Family
  
• Optimizing Compilation of Constraint Handling Rules
  
• Building Constraint Solvers with HAL
  
• Practical Aspects for a Working Compile Time Garbage Collection System for Mercury
  
• Positive Boolean Functions as Multiheaded Clauses
  
• Higher-Precision Groundness Analysis
  
• Speculative Beats Conservative Justification
  
• Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming
  
• A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives